Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineeringсборник

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

---

• • 2012 Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems
  • Zorin D.A., Podymov V.V.
  • в сборнике Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, с. 94-101