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

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

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

Опубликовано 2011-12-12 Опубликовано на SciPeople2012-07-12 14:30:26 ЖурналВестник Самарского государственного аэрокосмического университета имени академика С.П. Королева (национального исследовательского университета)

К вопросу о построении спецификации для бортовых управляющих алгоритмов реального времени

А.А. Тюгашев, А.Ю. Богатов / Андрей Тюгашев

Вестник СГАУ, №2 (26) 2011, с.269-275

Аннотация Предлагается подход к решению проблемы спецификации управляющих алгоритмов реального времени, основанный на специально построенной формальной теории. Рассматривается возможность автоматизации синтаксической редукции спецификации управляющих алгоритмов