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

Files in This Item:
File SizeFormat 
Тюгашев А.А.pdf595.69 kBAdobe PDFView/Open


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