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

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

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

Опубликовано 2006-05-28 Опубликовано на SciPeople2012-04-13 20:24:19 ОрганизацияСамарский государственный аэрокосмический университет имени академика С.П. Королева ЖурналСб.докладов международного симпозиума "Надежность и качество"

Об автоматизированной спецификации, верификации и синтезе управляющих программ реального времени на базе логического и алгебраического подходов

Тюгашев А.А. / Андрей Тюгашев

Сб.докладов международного симпозиума "Надежность и качество". 2006. Т. 1. С. 143-146.ISSN 2220-6418

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