Найдено научных статей и публикаций: 2, для научной тематики: Исчисление управляющих алгоритмов
1.
А.А. Калентьев, А.А. Тюгашев, А.В. Шулындин
- Сборник трудов Международного семинара "Семантика, спецификация и верификация программ: теория и приложения" PSSV-2010 , 2010
верификация управляющих алгоритмов методом логического вывода...
верификация управляющих алгоритмов методом логического вывода
Сборник трудов Международного семинара "Семантика, спецификация и верификация программ: теория и приложения" Казань, 2010. С.117-123
2.
А.А. Тюгашев
- Вестник Самарского государственного аэрокосмического университета имени академика С.П. Королева , 2007
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура...
Рассматривается комплекс проблем спецификации, верификации и синтеза управляющих программ реального времени, исполняемых на борту космического аппарата. Анализируются подходы к решению этих задач на основе временной логики и применения расширенной алгебры управляющих процессов. Описывается структура основанного на приведенном подходе инструментального программного комплекса разработки управляющих программ для космических аппаратов
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета). 2007. № 1. С. 247-252.
