EA08: Forráskód generálás formális modellekből

Semester: 
2013. tavasz
  • Forráskód generálás automata modellekből
  • Monitorkód generálás futásidőbeli ellenőrzéshez