1. Репозиторий Самарского национального исследовательского университета имени академика С.П. Королёва
  2. 03. Авторефераты и диссертации
  3. Диссертации (Закрыто)
Full metadata record
DC FieldValueLanguage
dc.contributor.authorТюгашев А. А.
dc.coverage.spatialкосмические аппараты
dc.coverage.spatialбортовые вычислительные системы
dc.coverage.spatialверификация алгоритмом
dc.coverage.spatialуправляющие алгоритмы реального времени
dc.coverage.spatialсинтез алгоритмов
dc.creatorТюгашев А. А.
dc.date2007
dc.date.accessioned2025-08-27T05:08:06Z-
dc.date.available2025-08-27T05:08:06Z-
dc.date.issued2007
dc.identifier.identifierRU/НТБ СГАУ/WALL/Дис/Т 98-789743
dc.identifier.citationТюгашев, А. А. Синтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Электронный ресурс] : дис. ... д-ра техн. наук : 05.13.12 : защищена 09.11.2007 / Тюгашев Андрей Александрович ; Самар. гос. аэрокосм. ун-т им. С. П. Королева (СГАУ). - Самара, 2007. - on-line
dc.identifier.urihttp://repo.ssau.ru/jspui/handle/123456789/18561-
dc.description.abstractДСП
dc.description.abstractТруды сотрудников СГАУ (электрон. версия)
dc.description.abstractИспользуемые программы: Adobe Acrobat
dc.languagerus
dc.relation.isformatofСинтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов [Текст] : дис. ... д-ра техн. н
dc.subjectкосмические аппараты
dc.subjectбортовые вычислительные системы
dc.subjectверификация алгоритмом
dc.subjectуправляющие алгоритмы реального времени
dc.subjectсинтез алгоритмов
dc.subject.rubbk05.13.12
dc.subject.rugasnti55.49
dc.subject.udc629.78(043.3)
dc.subject.udcДис
dc.titleСинтез и верификация управляющих алгоритмов реального времени для бортовых вычислительных систем космических аппаратов
dc.typeText
local.contributor.authorТюгашев А. А.
local.contributor.authorСамарский государственный аэрокосмический университет им. С. П. Королева
local.identifier.oldurihttp://repo.ssau.ru/handle/Dissertacii-Zakryto/Sintez-i-verifikaciya-upravlyaushih-algoritmov-realnogo-vremeni-dlya-bortovyh-vychislitelnyh-sistem-kosmicheskih-apparatov-Elektronnyi-resurs-dis-dra-tehn-nauk-051312-zashishena-09112007-56826
Appears in Collections:Диссертации (Закрыто)

Files in This Item:
File SizeFormat 
Тюгашев А.А. Синтез и верификация.pdf10.07 MBAdobe PDFView/Open    Request a copy
Show simple item record


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