Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saintсборник

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

---

• • 2013 An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts
  • Konnov I.V., Podymov V.V., Volkanov D.Yu, Zakharov V.A., Zorin D.A., Glonina A.B.
  • в сборнике Proceedings of the International Workshop on Verification of Embedded Systems 2013 (VES 2013). Saint, место издания Saint Petersburg State Polytechnical University Petersburg, Russia, с. 32-46