Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/731
Title: Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей
Authors: Дуравкин, Е. В.
Коровченко, Е. Б.
Keywords: верификация
спецификация
Е-сеть
формальная грамматика
модель системы
протокол
Issue Date: 2011
Publisher: Проблеми телекомунікацій
Citation: Дуравкин Е. В., Коровченко Е. Б. "Формализация поведения протоколов информационного обмена, представленных моделями на основе аппарата Е-сетей." Проблеми телекомунікацій. 2011. № 1 (3). С. 28 – 38. Режим доступа к журн.: http://pt.journal.kh.ua/2011/1/1/111_duravkin_verification.pdf.
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".
URI: http://openarchive.nure.ua/handle/document/731
Appears in Collections:Проблеми телекомунікацій

Files in This Item:
File Description SizeFormat 
111_duravkin_verification.pdf897.9 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.