Формальное описание функционирования протоколов передачи данных

Скорочена інформація про документ
dc.contributor.authorСтарусев, О. Г.ru
dc.date.accessioned2015-09-10T09:13:37Z
dc.date.available2015-09-10T09:13:37Z
dc.date.issued2005
dc.description.abstractУ статті наведено огляд проблеми формальної специфікації та верифікації мережевих протоколів, розглянуто опис протоколу ABP із допомогою ряду автоматних формальних методів та наведено ряд міркувань з верифікації мережевих протоколів.uk
dc.description.abstractIn 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.en
dc.identifier.citationСтарусев О. Г. Формальное описание функционирования протоколов передачи данных / Вестник Нац. техн. ун-та "ХПИ" : сб. науч. тр. Темат. вып. : Информатика и моделирование. – Харьков : НТУ "ХПИ". – 2005. – № 46. – С. 156-159.ru
dc.identifier.urihttps://repository.kpi.kharkov.ua/handle/KhPI-Press/16702
dc.language.isoru
dc.publisherНТУ "ХПИ"ru
dc.subjectалгебраический методru
dc.subjectконечно-автоматный методru
dc.subjectнизкая степень абстракцииru
dc.subjectмтод трассовых спецификацийru
dc.titleФормальное описание функционирования протоколов передачи данныхru
dc.typeArticleen

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
vestnik_HPI_2005_46_Starusev_Formalnoe.pdf
Розмір:
449.26 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
11.23 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник № 46