Contracts for Model Execution Verification.

Eric Cariou Cyril Ballagny Alexandre Feugas Franck Barbier

Published in: ECMFA (2011)

Keyphrases

computational model
probabilistic model
theoretical framework
management system
least squares
network structure
conceptual model
machine learning
feature selection
multi agent systems
parameter estimation
mathematical model
formal model
prediction model