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

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

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

Опубликовано 2007-11-09 Опубликовано на SciPeople2012-04-13 13:30:48 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналВАК РФ

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

А.А. Тюгашев / Андрей Тюгашев

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