Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
модель
модель Петри
Документи:
Зайцев, Д. А.
Верификация протокола TCP в процессе последовательной композиции модели Петри [Текст] / Д. А. Зайцев // Зв'язок. – 2006. – № 4. – 49-58.
Зайцев, Д. А.
Декомпозиция протокола ЕСМА [Текст] / Д. А. Зайцев // Радиотехника. – 2004. – № 138. – 75-82.
Зайцев, Д. А.
Последовательная композиция моделей Петри телекоммуникационных протоколов [Текст] / Д. А. Зайцев // Зв'язок. – 2006. – № 1. – 45-50.
Зайцев, Д. А.
Измерение характеристик одноуравневой коммутируемой сети с помощью параметрической модели Петри [Текст] / Д. А. Зайцев, Т. Р. Шмелева // Радиотехника. – 2005. – № 142. – 40-46.
Інформаційно-пошукова система
'УФД/Бібліотека'