Login / Signup
SyVOLT: Full Model Transformation Verification Using Contracts.
Levi Lúcio
Bentley James Oakes
Cláudio Gomes
Gehan M. K. Selim
Juergen Dingel
James R. Cordy
Hans Vangheluwe
Published in:
P&D@MoDELS (2015)
Keyphrases
</>
formal model
decision trees
high level
objective function
mathematical model
bayesian framework
data sets
probability distribution
management system