This chapter covers initiatives related to model verification/validation or like Action Semantics for UML and Executable UML.
Return to the list of chapters »
|This lecture provides a methodology for modeling the behaviors of systems, using Petri Nets, in order to verify them.|
|This lecture introduces Model-Driven Simulation by presenting a specific simulation scenario.|
Back to the top