Skip to main content
Jump to: navigation, search

Difference between revisions of "Open Model CourseWare (OMCW)/resources/chapter07"

(Created page with "= Open Model CourseWare (OMCW) Available Resources (Teaching Material) = = Chapter 7 - Model Validation & Executability = This chapter covers initiatives related to model ve...")
 
(No difference)

Latest revision as of 14:48, 19 October 2018

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