Публікація: Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик
Завантаження...
Дата
2011
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЭ
Анотація
The given work is devoted to the developing the methods of analysis and verification of
telecommunication protocols, that reduce development time protocol. Developed a method for
analyzing the basic algorithmic properties of the protocol model, based on the use of formal
grammars. It is proved that the use of formal grammar allows more rigorous analysis of properties of the model protocol.
Опис
Ключові слова
инфокоммуникационные технологии, Объем информации
Бібліографічний опис
Коровченко Е. Б. Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик / Е. Б. Коровченко // материалы 4-го междунар. радиоэлектрон. форума (МРФ'2011) 18-21 окт. 2011 г. : сб. науч. тр. Т.2 : междунар. конф. "Телекоммуникационные системы и технологии" (МКТСТ'2011) / АНПРЭ, ХНУРЭ. – Х. : АНПРЭ, ХНУРЭ, 2011. – С. 283–286.