Sign in
Lightweight Verification of Executable Models.
Elena Planas
Jordi Cabot
Cristina Gómez
Published in:
ER (2011)
Keyphrases
</>
lightweight
probabilistic model
model selection