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

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

Опубликовать в блог:

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

Всего просмотров: 0     Просмотров за сегодня: 0
Посетители:

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

Вам необходимо зайти или зарегистрироваться для комментирования