Библиотека » Информационные Технологии
Методы верификации требований к управляющим алгоритмам реального времени
Калентьев А.А., Тюгашев А.А., сб.докладов международного симпозиума "Надежность и качество". 2010. Т. I. С. 54-55. ISSN 2220-6418.
Об автоматизированной спецификации, верификации и синтезе управляющих программ реального времени на базе логического и алгебраического подходов
Тюгашев А.А., Сб.докладов международного симпозиума "Надежность и качество". 2006. Т. 1. С. 143-146.ISSN 2220-6418.
Технология проектирования надежных управляющих алгоритмов реального времени для космических аппаратов
А.А.Тюгашев, Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва 2004. № 1. С. 124-131 ISSN 1998-6629.
Многоязыковый процессор автоматизированного описания управляющих алгоритмов
Тюгашев А.А., Самар. гос. аэрокосм. ун-т им. С. П. Королева. - Самара, 1997. - 166 с..
CALS-технологии для бортовых алгоритмов управления космическими аппаратами
А.А. Калентьев, А.А. Тюгашев, сб. [науч.] тр. XII Всерос. науч. -техн. семинара по упр. движением и навигации летат. аппаратов (Самара, 21-23 июня 2005 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос.....
Оценка временных характеристик проектируемых алгоритмов управления реального времени
А.А. Тюгашев, сб. [науч.] тр. XI Всерос. науч. -техн. семинара по упр. движением и навигации летат. аппаратов (Самара, 23-25 июня 2003 г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева, Гос.....
Математическое моделирование управляющих алгоритмов и программ реального времени
А.А. Калентьев, А.А. Тюгашев, Сб.докладов международного симпозиума "Надежность и качество". 2005. Т. 1. С. 196-199. ISSN 2220-6418.
Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов
А.А. Тюгашев, Мехатроника, автоматизация, управление. 2007. № 7. С. 46-51..
Создание единой отраслевой САПР ПО как основное условие предотвращения кризиса управляющего ПО в космической отрасли
И.А. Ильин, И.Е. Ермаков, А.А. Тюгашев, Сб. труд. XXXVI Академических чтений по космонавтике. Москва, январь 2012 г. / Под общей редакцией А.К. Медведевой. М.: Комиссия РАН по разработке научного наследия....
