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