Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик
|
|
| Creator |
Коровченко, Е. Б.
|
|
| Subject |
инфокоммуникационные технологии
Объем информации |
|
| Description |
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. |
|
| Date |
2018-07-17T12:08:09Z
2018-07-17T12:08:09Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Коровченко Е. Б. Методика анализа и верификации телекоммуникационных протоколов с помощью е-сетей и формальных грамматик / Е. Б. Коровченко // материалы 4-го междунар. радиоэлектрон. форума (МРФ'2011) 18-21 окт. 2011 г. : сб. науч. тр. Т.2 : междунар. конф. "Телекоммуникационные системы и технологии" (МКТСТ'2011) / АНПРЭ, ХНУРЭ. – Х. : АНПРЭ, ХНУРЭ, 2011. – С. 283–286.
http://openarchive.nure.ua/handle/document/6596 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|