Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://dspace.opu.ua/jspui/handle/123456789/5431
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorШендрик, Є. В.-
dc.contributor.authorТкачук, В. В.-
dc.date.accessioned2017-09-27T15:41:29Z-
dc.date.available2017-09-27T15:41:29Z-
dc.date.issued2008-05-
dc.identifier.citationТкачук, В. В. Модель аналізу коректності мережевого протоколу PPP / В. В. Ткачук ; наук. керівник Є. В. Шендрик // Сучасні інформ. технології та телекомунікаційні мережі : тези доп. 43-ої наук. конф. молодих дослідників ОНПУ-магістрантів. - Одеса, 2008. - С. 52.uk
dc.identifier.urihttp://dspace.opu.ua/jspui/handle/123456789/5431-
dc.description.abstractМетоди аналізу логічної правильності протоколів поділяються на методи аналізу коректності і методи верифікації. Під коректністю розуміють наявність загальних для усіх протоколів і сервісів властивостей: відсутність блокувань, повнота, скінченність, відсутність надмірних станів, обмеженість, однозначність, здатність до відновлення після непередбачених ситуацій.en
dc.language.isouken
dc.publisherОдесса: ОНПУen
dc.subjectметоди аналізу коректностіen
dc.subjectметоди верифікаціen
dc.titleМодель аналізу коректності мережевого протоколу PPPen
dc.typeConference proceedingsen
opu.kafedraКафедра комп’ютерних інтелектуальних систем та мережuk
opu.citation.volume2en
opu.citation.firstpage52en
opu.citation.conferenceСучасні інформаційні технології та телекомунікаційні мережіen
opu.citation.issueвип. 43en
opu.staff.ide.v.shendrik@opu.uaen
Располагается в коллекциях:Тези доповідей 43-ої наукової конференції молодих дослідників ОНПУ-магістрантів «Сучасні інформаційні технології та телекомунікаційні мережі»
Матеріали конференцій, семінарів каф. КІСМ

Файлы этого ресурса:
Файл Описание РазмерФормат 
2-18.pdfМОДЕЛЬ АНАЛІЗУ КОРЕКТНОСТІ МЕРЕЖЕВОГО ПРОТОКОЛУ PPP104.95 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.