Login / Signup

Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.

Mirco TribastoneStephen Gilmore
Published in: WOSP (2008)
Keyphrases
  • automatic extraction
  • case study
  • probabilistic model
  • semi automatic
  • uml activity diagrams