Модель аналізу коректності мережевого протоколу PPP

Шендрик, Є. В.; Ткачук, В. В.

eONPUIR
→
Інститут комп'ютерних систем
→
Кафедра комп’ютерних інтелектуальних систем та мереж
→
Матеріали конференцій, семінарів каф. КІСМ
→
Посмотреть элемент

dc.contributor.author	Шендрик, Є. В.
dc.contributor.author	Ткачук, В. В.
dc.date.accessioned	2017-09-27T15:41:29Z
dc.date.available	2017-09-27T15:41:29Z
dc.date.issued	2008-05
dc.identifier.citation	Ткачук, В. В. Модель аналізу коректності мережевого протоколу PPP / В. В. Ткачук ; наук. керівник Є. В. Шендрик // Сучасні інформ. технології та телекомунікаційні мережі : тези доп. 43-ої наук. конф. молодих дослідників ОНПУ-магістрантів. - Одеса, 2008. - С. 52.	uk
dc.identifier.uri	http://dspace.opu.ua/jspui/handle/123456789/5431
dc.description.abstract	Методи аналізу логічної правильності протоколів поділяються на методи аналізу коректності і методи верифікації. Під коректністю розуміють наявність загальних для усіх протоколів і сервісів властивостей: відсутність блокувань, повнота, скінченність, відсутність надмірних станів, обмеженість, однозначність, здатність до відновлення після непередбачених ситуацій.	en
dc.language.iso	uk	en
dc.publisher	Одесса: ОНПУ	en
dc.subject	методи аналізу коректності	en
dc.subject	методи верифікаці	en
dc.title	Модель аналізу коректності мережевого протоколу PPP	en
dc.type	Conference proceedings	en
opu.kafedra	Кафедра комп’ютерних інтелектуальних систем та мереж	uk
opu.citation.volume	2	en
opu.citation.firstpage	52	en
opu.citation.conference	Сучасні інформаційні технології та телекомунікаційні мережі	en
opu.citation.issue	вип. 43	en
opu.staff.id	e.v.shendrik@opu.ua	en