Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
ПРАВИЛА КОРИСТУВАННЯ ЕК
Пошук
Відібрані
Формуляр
Опис документа
Сайт бібліотеки
Сайт ВНТУ
Українська
Русский
English
Авторизація
Шифр читача:
Пароль:
Увійти
Відмінити
ERROR
Зайцев, Д. А.
Верификация телекоммуникационных протоколов с помощью декомпозиции моделей Петри
[Текст] / Д. А. Зайцев
// Зв'язок. – 2005. – № 1. – 41-45.
УДК 004.378.5:621.39
Додати до списку
Теми документа
Ключові слова/В/верифікація, верификация
Ключові слова/П/протокол BGP
Ключові слова/Д/декомпозиція, декомпозиция/декомпозиция моделей
Ключові слова/З/зв'язок, связь
Ключові слова/П/протокол телекоммукационный
1
Ключові слова/М/мережа, сеть/мережа Петрі, сеть Петри
Інформаційно-пошукова система
'УФД/Бібліотека'