Библиотека » Информационные Технологии » Системы реального времени

Математическое моделирование управляющих алгоритмов и программ реального времени
А.А. Калентьев, А.А. Тюгашев, Сб.докладов международного симпозиума "Надежность и качество". 2005. Т. 1. С. 196-199. ISSN 2220-6418.
Проблема семантико-синтаксической эквивалентности моделей управляющих алгоритмов реального времени
А.А. Калентьев, А.А. Тюгашев, сб. [науч.] тр. X Всерос. науч. -техн. семинара по упр. движением и навигации летательных аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева,....
Visual toolset for real-time onboard programs verification support
Kalentyev A., Tyugashev A., Bogatov A., Shulyndin A., Proc. Program Semantics, Specification and Verification: Theory and Applications. Saint-Petersburg, 2011 P120-127.
Формальная верификация требований к управляющим алгоритмам реального времени
А.А. Калентьев, А.А. Тюгашев, А.В. Шулындин, Сборник трудов Международного семинара "Семантика, спецификация и верификация программ: теория и приложения" Казань, 2010. С.117-123.
Анализ потребностей бортовой аппаратуры КА экологического мониторинга
Г. П. Аншаков, А. В. Соллогуб, А. А. Тюгашев, Сборник научно-технических статей по ракетно-космической тематике / Гос. науч.-произв. ракет.-косм. центр "ЦСКБ-Прогресс". - Самара, 2001. - С. 168-170.
Проблема неоднозначности при порождении синтаксических структур над семантикой управляющих алгоритмов реального времени
А. А. Калентьев, Я. А. Мостовой, А. А. Тюгашев, Сборник научно-технических статей по ракетно-космической тематике / Гос. науч.-произв. ракет.-косм. центр "ЦСКБ-Прогресс". - Самара, 2001. - С. 162-165.
Использование графических языков в жизненном цикле бортового программного обеспечения космических аппаратов
А.А. Калентьев, А.А. Тюгашев, Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2010. № 2. С. 248-259..