Modular and Distributed Verification of SysML Activity Diagrams.

Messaoud Rahim, Ahmed Hammad, Malika Ioualalen

Browse the full MODELSWARD paper archive.