Андрей Тюгашев » Публикация

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

Поделиться публикацией:

Опубликовано 2011-05-25 Опубликовано на SciPeople2012-04-13 15:48:15 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналЯрГУ

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

Аннотация Visual toolset for real-time onboard programs verification support