SysML Models Verification Relying on Dependency Graphs.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Browse the full MODELSWARD paper archive.