Показать сокращенную информацию
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 |