Поиск публикаций Научные конференции и семинары Новости науки Научная сеть

 Найдено научных статей и публикаций: 3, для научной тематики: визуальная верификация


Связанные научные тематики:
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 
тег
 



1.

Реализация математической модели верификации требований к управляющим алгоритмам реального времени в автоматизированной системе визуального проектирования (публикация автора на scipeople)   

А.А. Тюгашев, А.В. Шулындин - Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета) , 2013
Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих...
2.

Визуальный подход к верификации управляющих программ реального времени (публикация автора на scipeople)   

Тюгашев А.А., Богатов, А.Ю., Шулындин А.В. - СГАУ , 2012
Описано применение визуального подхода к верификации управляющих программ
3.

Использование графического подхода при верификации циклограмм управления космическими аппаратами (публикация автора на scipeople)   

Калентьев А.А., Тюгашев А.А. - Изд-во МАИ , 2009
описана графическая верификация циклограмм управления космическими аппаратами