| 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: | Диссертации (Закрыто) |
Files in This Item:
| File | Size | Format | |
|---|---|---|---|
| Тюгашев А.А. Синтез и верификация.pdf | 10.07 MB | Adobe PDF | View/Open Request a copy |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.