Login / Signup

Comparing model checkers for timed UML activity diagrams.

Zamira DawRance Cleaveland
Published in: Sci. Comput. Program. (2015)
Keyphrases
  • probabilistic model
  • conceptual model
  • uml activity diagrams
  • object oriented