Login / Signup
Specification and Verification of Graph-Based Model Transformation Properties.
Gehan M. K. Selim
Levi Lucio
James R. Cordy
Jürgen Dingel
Bentley J. Oakes
Published in:
ICGT (2014)
Keyphrases
</>
computational model
high level
cost function
parameter estimation
prior knowledge
probabilistic model
theoretical analysis
statistical model
experimental data
decision making
probability distribution
em algorithm
process model
conceptual model
formal methods
temporal properties