Найдено научных статей и публикаций: 3, для научной тематики: Визуальная верификация
1.
А.А. Тюгашев, А.В. Шулындин
- Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) , 2013
Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих алгоритмов реального времени...
Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих алгоритмов реального времени
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66
2.
Тюгашев А.А., Богатов, А.Ю., Шулындин А.В.
- СГАУ , 2012
Описано применение визуального подхода к верификации управляющих программ...
Описано применение визуального подхода к верификации управляющих программ
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №1 (32), 2012 г.С 219-225
3.
Калентьев А.А., Тюгашев А.А.
- Изд-во МАИ , 2009
описана графическая верификация циклограмм управления космическими аппаратами...
описана графическая верификация циклограмм управления космическими аппаратами
Тез. докл. 14-й международной конференции "Системный анализ, управление и навигация": Изд-во МАИ Евпатория, 2009.
