Towards a Call Behavior-Based Compositional Verification Framework for SysML Activity Diagrams
Domaines
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |
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