Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
Тюгашев Андрей Александрович. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : диссертация ... доктора технических наук : 05.13.12 / Тюгашев Андрей Александрович; [Место защиты: Сам. гос. аэрокосм. ун-т им. С.П. Королева].- Самара, 2007.- 315 с.: ил. РГБ ОД, 71 08-5/107
