Андрей Тюгашев » Публикация

Информационные Технологии
— Системы автоматизированного проектирования

Поделиться публикацией:

Опубликовано 2013-07-10 Опубликовано на SciPeople2013-07-10 16:12:38 ЖурналВестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета)

Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования

А.А. Тюгашев, А.В. Шулындин / Андрей Тюгашев

Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66

Аннотация Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих алгоритмов реального времени