Contract-based verification of model transformations: a formally founded approach.

Guillaume Brau Mohammed Foughali

Published in: SAC (2021)

Keyphrases

computational model
probabilistic model
network model
parameter values
simulation model
theoretical framework
model selection
multi agent
high level
bayesian networks
artificial intelligence
learning algorithm
mathematical model
experimental data
machine learning
real time
database