Login / Signup

Lightweight Verification of Executable Models.

Elena PlanasJordi CabotCristina Gómez
Published in: ER (2011)
Keyphrases
  • lightweight
  • probabilistic model
  • model selection