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

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

Опубликовано 2006-05-27 Опубликовано на SciPeople2012-04-14 22:46:08 ЖурналИзд-во МАИ

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

Калентьев А.А., Тюгашев А.А. / Андрей Тюгашев

Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006.

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

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

Комментарии