верифікація, верификация ; мережі Петрі, сети Петри, Petri nets ; протоколи, протоколы, protocols ; IOTP

Ранее представленная методология синтеза моделей Петри телекоммуникационных протоколов применена для синтеза модели известного протокола электронной коммерции IOTP

Общесистемные проблемы телекоммуникации

Радиотехника [Текст] : всеукр. межвед. науч.-техн. сб. / МО Украины, Харьк. техн. ун-т радиоэлектроники; редкол. : М. Ф. Бондаренко (отв.ред.) и др. — Харьков : ХТУРЭ, 1996. — 287 с.

• УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА
• УДК // Системи автоматичного керування в цілому. Кібернетичні характеристики систем