Cписок

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

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

Аннотацiя:

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

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

Відомості щодо назви

Відомості про відповідальність:

Самарский государственный аэрокосмический университет им. акад.С.П.Королева

Відомості щодо головного

Назва головного документа:

Мехатроника, автоматизация, управление.

Дата видання головного документа:

2007

Номер частини головного документа:

Загальна інформація

Бібліографія:

9 назв

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