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

Дуравкин, Е. В.; Коровченко, Е. Б.

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

dc.contributor.author	Дуравкин, Е. В.
dc.contributor.author	Коровченко, Е. Б.
dc.date.accessioned	2016-06-10T07:52:36Z
dc.date.available	2016-06-10T07:52:36Z
dc.date.issued	2011
dc.description.abstract	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".	uk_UA
dc.identifier.citation	Дуравкин Е. В., Коровченко Е. Б. "Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей." Проблеми телекомунікацій. 2011. № 1 (3). С. 28 – 38. Режим доступа к журн.: http://pt.journal.kh.ua/2011/1/1/111_duravkin_verification.pdf.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/731
dc.language.iso	ru	uk_UA
dc.publisher	Проблеми телекомунікацій	uk_UA
dc.subject	верификация	uk_UA
dc.subject	спецификация	uk_UA
dc.subject	Е-сеть	uk_UA
dc.subject	формальная грамматика	uk_UA
dc.subject	модель системы	uk_UA
dc.subject	протокол	uk_UA
dc.title	Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication