Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction.

Bastien Sultan, Ludovic Apvrille, Oana Hotescu, Pierre de Saqui-Sannes

Browse the full MODELSWARD paper archive.