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

Поделиться публикацией:
Опубликовать в блог:
Опубликовано 2010-06-12 Опубликовано на SciPeople2012-04-13 15:44:57 ЖурналСборник трудов Международного семинара "Семантика, спецификация и верификация программ: теория и приложения" PSSV-2010


Формальная верификация требований к управляющим алгоритмам реального времени
А.А. Калентьев, А.А. Тюгашев, А.В. Шулындин / Андрей Тюгашев
Сборник трудов Международного семинара "Семантика, спецификация и верификация программ: теория и приложения" Казань, 2010. С.117-123
Аннотация верификация управляющих алгоритмов методом логического вывода
Ключевые слова публикации:
     
Показать статистику
Похожие публикации

Комментарии

Вам необходимо зайти или зарегистрироваться для комментирования
Этот комментарий был удален
Этот комментарий был удален
Этот комментарий был удален