Login / Signup
Chaining Model Transformations for System Model Verification: Application to Verify Capella Model with Simulink.
Christophe Duhil
Jean-Philippe Babau
Eric Lépicier
Jean-Luc Voirin
Juan F. Navas
Published in:
MODELSWARD (2020)
Keyphrases
</>
databases
statistical model
computational model
real time
management system
probabilistic model
graphical models
prior knowledge
high level
expert systems
objective function
parameter estimation
mathematical model
social networks
experimental data
parameter values
metamodel
hybrid model