Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Creator |
Дуравкин, Е. В.
Коровченко, Е. Б. |
|
| Date |
2012-12-14T20:26:42Z
2012-12-14T20:26:42Z 2011 |
|
| Identifier |
Дуравкин Е.В., Коровченко Е.Б. "Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей." Проблеми телекомунікацій. 2011. № 1 (3). С. 28 – 38. Режим доступа к журн.: http://pt.journal.kh.ua/2011/1/1/111_duravkin_verification.pdf.
2220-6922 http://hdl.handle.net/123456789/513 |
|
| Description |
Proposed a method of verification protocols for information exchange on the base of E-nets and formal grammars. The method allows reducing the dimension of the model of system, thereby reducing the effect of "combinatorial explosion".
|
|
| Language |
ru
|
|
| Publisher |
Проблеми телекомунікацій
|
|
| Relation |
1(3);
|
|
| Subject |
верификация, спецификация, Е-сеть, формальная грамматика, модель системы, протокол.
|
|
| Title |
Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей
|
|
| Type |
Article
|
|