Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
Класифікатори
івент, event
Event-B
Документи:
Тарасюк, О. М.
Комплексирование формальных методов разработки и анализа надежности Event-B и FME(C)A [Текст] / О. М. Тарасюк, А. В. Горбенко, В. С. Харченко // Математичні машини і системи. – 2010. – № 2. – С. 166-177.
Інформаційно-пошукова система
'УФД/Бібліотека'
