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

Логический вывод в системе верификации требований к управляющим алгоритмам реального времени
Тюгашев А.А., Шулындин А.В., Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов:....
Автоматическая генерация отладочных заданий в технологии ГРАФКОНТ/ГЕОЗ
Тюгашев А.А., Богатов А.Ю, Шулындин А.В., Надежность и качество - 2012: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2012 - 1т. С.288-291 ISBN 978-5-94170-435-4.
Методы обеспечения надежности и качества программного обеспечения в аэрокосмической отрасли
Ермаков И.Е., Ильин И.А., Тюгашев А.А., Надежность и качество - 2012: труды Международного симпозиума: в 2 т./ под ред. Н.К. Юркова.-Пенза:Изд-во ПГУ, 2012 - 1т. С.20-23 ISBN 978-5-94170-435-4.
Ways to get more reliable and safe software in Aerospace Industry
Tyugashev A., Ermakov I.,Ilyin I., Proc. Program Semantics, Specification and Verification: Theory and Applications (PSSV 2012), July 1-2, 2012 in Nizhni Novgorod, Russia, PP121-129.