Ensuring Correctness of Model Transformations While Remaining Decidable.

Jon Haël Brenas Rachid Echahed Martin Strecker

Published in: ICTAC (2016)

Keyphrases

decision making
probabilistic model
theoretical framework
formal model
mathematical model
linear model
real time
network model
sensitivity analysis
statistical model
computational model
parameter estimation
access control
management system
probability distribution
data model
objective function