REFINER: Towards Formal Verification of Model Transformations.

Anton Wijs Luc Engelen

Published in: NASA Formal Methods (2014)

Keyphrases

mathematical model
formal verification
experimental data
probabilistic model
maximum likelihood
formal model
objective function
statistical model
conceptual model
partial information