Публікація: Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей
Завантаження...
Дата
2011
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЕ
Анотація
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".
Опис
Ключові слова
верификация, спецификация, Е-сеть, формальная грамматика, модель системы, протокол
Бібліографічний опис
Дуравкин Е. В., Коровченко Е. Б. "Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей." Проблеми телекомунікацій. 2011. № 1 (3). С. 28 – 38. Режим доступа к журн.: http://pt.journal.kh.ua/2011/1/1/111_duravkin_verification.pdf.