Login / Signup

Validating timed UML models by simulation and verification.

Iulian OberSusanne GrafIleana 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