Proceedings of 7th Workshop on Model-Based Testingсборник

Статьи, опубликованные в сборнике

---

• 
  • 2012 Model-Based Testing of Safety Critical Real-Time Control Logic Software
  • Gerlits Yevgeny, Khoroshilov Alexey
  • в сборнике Proceedings of 7th Workshop on Model-Based Testing, с. 130-144 DOI