Система поддержки верификации систем функциональных блоков стандарта IEC 61499 на основе метода Model Checking

ДН Дроздов, ВН Дубинин, ДВ Пащенко - 2015 - elibrary.ru
Программа предназначена для автоматизации процесса верификации систем
управления промышленными процессами на основе нового международного …