Case Studies and Industrial Applications

Semester: 
2020. tavasz

Industrial Applications

  • Smart Modeling (Arrowhead Tools) - lecture video
  • Multi-disciplinary Simulation (OpenCPS) + Model Checking as a Service (Lowcomote) - lecture video
  • Industrial Case Studies (no downloadable slide deck) - lecture video

Academic Insight

  • Graph Abstraction & Model Generation Techniques - lecture video