Коровченко, Е. Б.2018-07-172018-07-172011Коровченко Е. Б. Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик / Е. Б. Коровченко // материалы 4-го междунар. радиоэлектрон. форума (МРФ'2011) 18-21 окт. 2011 г. : сб. науч. тр. Т.2 : междунар. конф. "Телекоммуникационные системы и технологии" (МКТСТ'2011) / АНПРЭ, ХНУРЭ. – Х. : АНПРЭ, ХНУРЭ, 2011. – С. 283–286.http://openarchive.nure.ua/handle/document/6596The 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.ruинфокоммуникационные технологииОбъем информацииArticle