Skip to main content
Jump to: navigation, search

Open Model CourseWare (OMCW)/resources/chapter07

< Open Model CourseWare (OMCW)‎ | resources
Revision as of 14:48, 19 October 2018 by Dwagelaar.gmail.com (Talk | contribs) (Created page with "= Open Model CourseWare (OMCW) Available Resources (Teaching Material) = = Chapter 7 - Model Validation & Executability = This chapter covers initiatives related to model ve...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Open Model CourseWare (OMCW) Available Resources (Teaching Material)

Chapter 7 - Model Validation & Executability

This chapter covers initiatives related to model verification/validation or like Action Semantics for UML and Executable UML.

List of Files

Behavioral Modeling with Petri Nets for Verification This lecture provides a methodology for modeling the behaviors of systems, using Petri Nets, in order to verify them.
Introduction to Model-Driven Simulation This lecture introduces Model-Driven Simulation by presenting a specific simulation scenario.

Back to the top