Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams.

Samir Ouchani

Browse the full ICTAC paper archive.