Найдено научных статей и публикаций: 1, для научной тематики: Visual verification
1.
Kalentyev A., Tyugashev A., Bogatov A., Shulyndin A.
- ЯрГУ , 2011
Visual toolset for real-time onboard programs verification support...
Visual toolset for real-time onboard programs verification support
Proc. Program Semantics, Specification and Verification: Theory and Applications. Saint-Petersburg, 2011 P120-127