Тюгашев, Андрей Александрович. - Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : диссертация ... доктора технических наук : 05.13.12 / Тюгашев Андрей Александрович; [Место защиты: Сам. гос. аэрокосм. ун-т им. С.П. Королева]. - Самара, 2007. - 315 с. : ил.
Карточка
Экспресс-заказ фрагмента
Тюгашев, Андрей Александрович.
Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : диссертация ... доктора технических наук : 05.13.12 / Тюгашев Андрей Александрович; [Место защиты: Сам. гос. аэрокосм. ун-т им. С.П. Королева]. - Самара, 2007. - 315 с. : ил.
Системы автоматизации проектирования (по отраслям)
Транспорт -- Межпланетные полёты -- Космонавтика -- Космические летательные аппараты. Ракетная техника -- Автоматизация космических летательных аппаратов -- Бортовые вычислительные машины
программное обеспечение космической системы
Шифр хранения:
Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : диссертация ... доктора технических наук : 05.13.12 / Тюгашев Андрей Александрович; [Место защиты: Сам. гос. аэрокосм. ун-т им. С.П. Королева]. - Самара, 2007. - 315 с. : ил.
Системы автоматизации проектирования (по отраслям)
Транспорт -- Межпланетные полёты -- Космонавтика -- Космические летательные аппараты. Ракетная техника -- Автоматизация космических летательных аппаратов -- Бортовые вычислительные машины
программное обеспечение космической системы
Шифр хранения:
OD 71 08-5/107
Описание
| Автор | Тюгашев, Андрей Александрович |
|---|---|
| Заглавие | Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : диссертация ... доктора технических наук : 05.13.12 |
| Коллекции ЭК РГБ | Каталог диссертаций |
| Коллекции ЭБ РГБ | Диссертации |
| Дата поступления в ЭК РГБ | 09.10.2007 |
| Дата поступления в ЭБ РГБ | 13.05.2012 |
| Каталоги | Диссертации |
| Сведения об ответственности | Тюгашев Андрей Александрович; [Место защиты: Сам. гос. аэрокосм. ун-т им. С.П. Королева] |
| Выходные данные | Самара, 2007 |
| Физическое описание | 315 с. : ил. |
| Тема | Системы автоматизации проектирования (по отраслям) |
| Транспорт -- Межпланетные полёты -- Космонавтика -- Космические летательные аппараты. Ракетная техника -- Автоматизация космических летательных аппаратов -- Бортовые вычислительные машины | |
| Термины-указатели | программное обеспечение космической системы |
| BBK-код | О62-057,0 |
| Специальность | 05.13.12: Системы автоматизации проектирования (по отраслям) |
| Язык | Русский |
| Места хранения | OD 71 08-5/107 |
| Электронный адрес | Электронный ресурс |
