Формальное описание функционирования протоколов передачи данных
Цифровой репозитарии Национального технического университета "Харьковский политехнический институт" (eNTUKhPIIR)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Формальное описание функционирования протоколов передачи данных
|
|
| Creator |
Старусев, О. Г.
|
|
| Subject |
алгебраический метод
конечно-автоматный метод низкая степень абстракции мтод трассовых спецификаций |
|
| Description |
У статті наведено огляд проблеми формальної специфікації та верифікації мережевих протоколів, розглянуто опис протоколу ABP із допомогою ряду автоматних формальних методів та наведено ряд міркувань з верифікації мережевих протоколів.
In this article, the survey of network protocols formal specification and verification problem was considered. The description of protocol ABP through state charts and pseudo-formal specifications was considered. Also, are resulted some considering of protocols verification. |
|
| Date |
2015-09-10T09:13:37Z
2015-09-10T09:13:37Z 2005 |
|
| Type |
Article
|
|
| Identifier |
Старусев О. Г. Формальное описание функционирования протоколов передачи данных / Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2005. – № 46. – С. 156-159.
http://repository.kpi.kharkov.ua/handle/KhPI-Press/16702 |
|
| Language |
ru
|
|
| Publisher |
НТУ "ХПИ"
|
|