Андрей Тюгашев » Публикация
Поделиться публикацией:
Опубликовано
2006-05-27
Опубликовано на SciPeople2012-04-14 22:46:08
ЖурналИзд-во МАИ
Алгебраические и логические подходы к спецификации, верификации и синтезу управляющих программ для КА
Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006.
Аннотация
представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза
Комментарии
Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
Этот комментарий был удален