CoqTL: An Internal DSL for Model Transformation in Coq.

Massimo Tisi Zheng Cheng

Published in: ICMT (2018)

Keyphrases

statistical model
formal model
experimental data
computational model
high level
sensitivity analysis
parameter estimation
mathematical model
metamodel
machine learning
bayesian framework
closed form
image registration
d objects
probabilistic model
similarity measure
decision making
artificial intelligence