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

Зображення мініатюри

Файли

111_duravkin_verification.pdf (897.9 KB)

Дата

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.

DOI

URI

http://openarchive.nure.ua/handle/document/731

Колекції

Проблеми телекомунікацій

Схвалення

Рецензія

Доповнено

На які посилаються