Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
верифікація, верификация
верификация протокола управления
Документи:
Ткачева, Е. Б.
Применение ASCR для верификации протоколов управления Software-Definet Network [Текст] / Е. Б. Ткачева, С. Исаам, Джамал Салим. Мохаммед // Радиотехника. – 2015. – № 180. – С. 48-55.
Шмелёва, Т. Р.
Верификация шестиугольной коммуникационной решетки бесконечными сетями Петри [Текст] / Т. Р. Шмелёва // Радиотехника. – 2018. – № 194. – С. 38-45.
Інформаційно-пошукова система
'УФД/Бібліотека'