Вид документа : Однотомное издание Шифр издания : Ар07-12356 Автор(ы) : Тюгашев А.А. Заглавие : Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов : автореф. дис. ... д-ра техн. наук : 05.13.12 Выходные данные : Самара, 2007 Колич.характеристики :32 с.: ил Примечания : Библиогр.: с. 29-32(50 назв.) ГРНТИ : 55.49.29 УДК : 629.78.05:681.3(043) Экземпляры :ХР(1) Свободны : ХР(1)