Title: Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
Authors: Тюгашев А. А.
Keywords: космические аппараты
бортовые вычислительные системы
верификация алгоритмом
управляющие алгоритмы реального времени
синтез алгоритмов
Issue Date: 2007
Citation: Тюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : дис. ... д-ра техн. наук : 05.13.12 : защищена 09.11.2007 / Тюгашев Андрей Александрович ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-line
Abstract: ДСП
Труды сотрудников СГАУ (электрон. версия)
Используемые программы: Adobe Acrobat
URI: http://repo.ssau.ru/jspui/handle/123456789/18561
Appears in Collections:Диссертации (Закрыто)



Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.