Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Samir Ouchani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04108096
Soumis le : mardi 14 mai 2024-10:01:31
Dernière modification le : jeudi 16 mai 2024-11:03:16