Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
U
UCM-спецификация
Документи:
Визовитин, Н. В.
Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри [Текст] / Н. В. Визовитин, В. А. Непомнящий, А. А. Стененко // Кибернетика и системный анализ. – 2015. – Т. 51, № 2. – С, 62-74.
Інформаційно-пошукова система
'УФД/Бібліотека'