Login / Signup
SysML Models Verification Relying on Dependency Graphs.
Ludovic Apvrille
Pierre de Saqui-Sannes
Oana Hotescu
Alessandro Tempia Calvino
Published in:
MODELSWARD (2022)
Keyphrases
</>
dependency graphs
computational models
complex systems
database
neural network
experimental data
modeling language
formal methods
decision trees
multi agent systems
control system
probabilistic model
knowledge based systems
statistical model
neural network model
metamodel