Sign in
Dependency Graphs to Boost the Verification of SysML Models.
Ludovic Apvrille
Pierre de Saqui-Sannes
Oana Hotescu
Alessandro Tempia Calvino
Published in:
MODELSWARD (Revised Selected Papers) (2022)
Keyphrases
</>
dependency graphs
probabilistic model
complex systems
statistical models
formal methods
data sets
statistical model
neural network
information systems
model selection
random walk
dependency graph
verification method