Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://dspace.opu.ua/jspui/handle/123456789/5431| Название: | Модель аналізу коректності мережевого протоколу PPP |
| Авторы: | Шендрик, Є. В. Ткачук, В. В. |
| Ключевые слова: | методи аналізу коректності методи верифікаці |
| Дата публикации: | Май-2008 |
| Издательство: | Одесса: ОНПУ |
| Библиографическое описание: | Ткачук, В. В. Модель аналізу коректності мережевого протоколу PPP / В. В. Ткачук ; наук. керівник Є. В. Шендрик // Сучасні інформ. технології та телекомунікаційні мережі : тези доп. 43-ої наук. конф. молодих дослідників ОНПУ-магістрантів. - Одеса, 2008. - С. 52. |
| Краткий осмотр (реферат): | Методи аналізу логічної правильності протоколів поділяються на методи аналізу коректності і методи верифікації. Під коректністю розуміють наявність загальних для усіх протоколів і сервісів властивостей: відсутність блокувань, повнота, скінченність, відсутність надмірних станів, обмеженість, однозначність, здатність до відновлення після непередбачених ситуацій. |
| URI (Унифицированный идентификатор ресурса): | http://dspace.opu.ua/jspui/handle/123456789/5431 |
| Располагается в коллекциях: | Тези доповідей 43-ої наукової конференції молодих дослідників ОНПУ-магістрантів «Сучасні інформаційні технології та телекомунікаційні мережі» Матеріали конференцій, семінарів каф. КІСМ |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| 2-18.pdf | МОДЕЛЬ АНАЛІЗУ КОРЕКТНОСТІ МЕРЕЖЕВОГО ПРОТОКОЛУ PPP | 104.95 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.