Towards a Fractionation-based Verification: Application on 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-04108116
Soumis le : mardi 14 mai 2024-09:59:45
Dernière modification le : jeudi 16 mai 2024-11:05:55