Форма пошуку Назад
укр рус eng
 Cписок

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

Вид документа: Стаття періодики
Автор: Тюгашев А.А. Вид автора: персона
Мова: Російська Обсяг: С. 46-50
УДК: 681.51:629.78

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

Є складовою частиною документа: Мехатроника, автоматизация, управление.

Відомості щодо назви
 Відомості про відповідальність:Самарский государственный аэрокосмический университет им. акад.С.П.Королева

Відомості щодо головного
 Назва головного документа:Мехатроника, автоматизация, управление.
 Дата видання головного документа:2007
 Номер частини головного документа:7

Загальна інформація
 Бібліографія:9 назв

Теми документа: