1. Репозиторий Самарского национального исследовательского университета имени академика С.П. Королёва
  2. 04. Материалы конференций
  3. Управление движением и навигация летательных аппаратов
Title: Графический подход к верификации алгоритмов управления космическими аппаратами
Authors: Калентьев А. А.
Тюгтиев А. А.
Keywords: бортовая аппаратура
бортовые вычислительные комплексы
алгоритмы управления космическими аппаратами
задачи управления
задача верификации управляющего алгоритма
ГРАФКОНТ
комплексы бортовой аппаратуры
управление космическими аппаратами
Issue Date: 2011
Citation: Калентьев, А. А. Графический подход к верификации алгоритмов управления космическими аппаратами / А. А. Калентьев, А. А. Тюгтиев // Управление движением и навигация летательных аппаратов : сб. [науч.] тр. XIV Всерос. семинара по упр. движением и навигации летат. аппаратов (Самара, 8-10 июня 2009 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева (нац. исслед. ун-т) [и др.]. - Самара, 2011. - Ч. 1. - С. 129.
URI: http://repo.ssau.ru/jspui/handle/123456789/4246
Appears in Collections:Управление движением и навигация летательных аппаратов

Files in This Item:
File SizeFormat 
978-5-7883-0796-1_2011-129.pdf46.53 kBAdobe PDFView/Open
Show full item record


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