Библиотека » Информационные Технологии
К вопросу об оптимизирующих преобразованиях управляющих алгоритмов реального времени
А. А. Тюгашев, А. Ю. Богатов, Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2009, 1(18), 260–266.
Модуль генерации отладочных заданий "ГЕОЗ" комплексной системы автоматизации проектирования алгоритмов управления космическим аппаратом
А. А. Калентьев, Я. А. Мостовой, А. А. Тюгашев, сб. [науч.] тр. X Всерос. науч. -техн. семинара по упр. движением и навигации летательных аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева,....
Проблема семантико-синтаксической эквивалентности моделей управляющих алгоритмов реального времени
А.А. Калентьев, А.А. Тюгашев, сб. [науч.] тр. X Всерос. науч. -техн. семинара по упр. движением и навигации летательных аппаратов (Самара, 26-27 июня 2001г.) / Самар. гос. аэрокосм. ун-т им. С. П. Королева,....
Работа со строками и текстовыми файлами в языке программирования Си
А.А. Тюгашев, Федер. агентство по образованию, Самар. гос. аэрокосм. ун-т им. С. П. Королева ; [сост. А. А. Тюгашев]. - Самара: Изд-во СГАУ, 2006..
Использование языка программирования Си
А.А. Тюгашев, М-во образования Рос. Федерации, Самар. гос. аэрокосм. ун-т им. С. П. Королева ; [сост. А. А. Тюгашев]. - Самара: 2001..
Реализация численных алгоритмов на языке программирования Си
А.А. Тюгашев, Федер. агентство по образованию, Самар. гос. аэрокосм. ун-т им. С. П. Королева. - Самара : Изд-во СГАУ, 2006.
Программирование на языке Си
А.А. Калентьев, А.А. Тюгашев, Самар. гос. аэрокосм. ун-т им. С. П. Королева ; [сост. А. А. Калентьев, А. А. Тюгашев] - Самара: 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.
