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

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

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

Опубликовано 2010-05-31 Опубликовано на SciPeople2012-04-13 20:27:45 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналПензенский государственный университет

Методы верификации требований к управляющим алгоритмам реального времени

Калентьев А.А., Тюгашев А.А. / Андрей Тюгашев

сб.докладов международного симпозиума "Надежность и качество". 2010. Т. I. С. 54-55. ISSN 2220-6418

Аннотация о верификации требований к управляющим алгоритмам реального времени с проверкой выполнимости и непротиворечивости