РУАЭСТ (RUAEST)
Статьи автора: Вяткин В.В.
Результатов найдено: 6
|
Модели последовательного выполнения функциональных блоков IEC 61499 на основе динамически изменяемых приоритетовВяткин В.В.,Дубинин В.Н.
|
|
|
Рефакторинг диаграмм управления выполнением стандарта IEC 61499Вяткин В.В.,Дубинин В.Н.
|
|
|
Графотрансформационный подход к синтезу формальных моделей систем функциональных блоков IEC 61499Вяткин В.В.,Дубинин В.Н.
|
|
|
Семантический анализ описаний систем управления промышленными процессами на основе стандарта IEC 61499 с использованием онтологийВяткин В.В.,Дубинин В.Н.
|
|
|
Формализация моделей выполнения функциональных блоков IEC 61499Вяткин В.В.,Дубинин В.Н.
|
|
|
ВЕРИФИКАЦИЯ ПРИЛОЖЕНИЙ IEC 61499 НА ОСНОВЕ МЕТОДА Model CheckingВяткин В.В.,Дубинин В.Н.
|