Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)