Зайцев Д.А. Синтез модели Петри и верификации протокола электронной коммерции IOTP / Д.А. Зайцев, Е.Я. Чорногала // Радиотехника. – 2006. – №Вып. 144. – С.28–34.
Складова документа:Шифр: 621.396(06) Р15
Радиотехника : всеукр. межведомств. науч.-техн. сб. Вып. 144 : Темат. вып. "Проблемы телекоммуникаций" / МОН Украины, Харьк. нац. ун-т радиоэлектроники. – Харьков : ХНУРЭ, 2006. – 306 с. : ил. – 588.00
Анотація:
Ранее представленная методология синтеза моделей Петри телекоммуникационных протоколов применена для синтеза модели известного протокола электронной коммерции IOTP