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