This chapter covers initiatives related to model verification/validation or like Action Semantics for UML and Executable UML.
Return to the list of chapters »
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. |
