Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик

Коровченко, Е. Б.

Публікація:
Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик

dc.contributor.author	Коровченко, Е. Б.
dc.date.accessioned	2018-07-17T12:08:09Z
dc.date.available	2018-07-17T12:08:09Z
dc.date.issued	2011
dc.description.abstract	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.	uk_UA
dc.identifier.citation	Коровченко Е. Б. Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик / Е. Б. Коровченко // материалы 4-го междунар. радиоэлектрон. форума (МРФ'2011) 18-21 окт. 2011 г. : сб. науч. тр. Т.2 : междунар. конф. "Телекоммуникационные системы и технологии" (МКТСТ'2011) / АНПРЭ, ХНУРЭ. – Х. : АНПРЭ, ХНУРЭ, 2011. – С. 283–286.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/6596
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	инфокоммуникационные технологии	uk_UA
dc.subject	Объем информации	uk_UA
dc.title	Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication