Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
верифікація, верификация
верификация SDL-спецификаций
Документи:
Непомнящий, В. А.
Язык Dynamic-Real и его применение для верификации SDL-спецификаций распределенных систем [Текст] / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов // Программирование. – 2014. – № 5. – С. 34-44.
Інформаційно-пошукова система
'УФД/Бібліотека'