Login / Signup
Chaining model transformations to develop a system model verification tool: application to capella state machines and data flows models.
Christophe Duhil
Jean-Philippe Babau
Eric Lépicier
Jean-Luc Voirin
Juan F. Navas
Published in:
SAC (2020)
Keyphrases
</>
experimental data
probabilistic model
neural network
high level
probability distribution
prior knowledge
artificial intelligence
conceptual model
learning models
predictive model
accurate models
genetic algorithm
artificial neural networks
software development
reactive systems