Notice: This Wiki is now read only and edits are no longer possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Open Model CourseWare (OMCW)/resources/chapter07
< Open Model CourseWare (OMCW) | resources
Revision as of 14:48, 19 October 2018 by Unnamed Poltroon (Talk) (Created page with "= Open Model CourseWare (OMCW) Available Resources (Teaching Material) = = Chapter 7 - Model Validation & Executability = This chapter covers initiatives related to model ve...")
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. |