Login / Signup
Domain-Specific Model Verification with QVT.
Maged Elaasar
Lionel C. Briand
Yvan Labiche
Published in:
ECMFA (2011)
Keyphrases
</>
domain specific
probabilistic model
statistical model
cost function
formal model
neural network
agent model
probability distribution
theoretical framework
experimental data
domain independent
theoretical analysis
prediction model
bayesian framework
em algorithm
general purpose
similarity measure