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

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

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

Опубликовано 2006-02-01 Опубликовано на SciPeople2012-04-13 14:32:53 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналИзвестия Российской академии наук. Теория и системы управления

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

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

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