Login / Signup
Validating timed UML models by simulation and verification.
Iulian Ober
Susanne Graf
Ileana Ober
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
uml models
colored petri nets
discrete event
petri net
sequence diagrams
case study
object oriented
simulation model
model checking