Dependency Graphs to Boost the Verification of SysML Models.
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
VenueCMODELSWARD
Year2022
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/ApvrilleSHC22a ↗
Browse the full MODELSWARD paper archive.