On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams
Résumé
Verification of Hierarchical Formalization of IOD Diagrams
Communication Dans Un Congrès
Année : 2013
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126355
Soumis le : vendredi 6 mars 2015-11:52:04
Dernière modification le : mercredi 28 septembre 2022-05:57:11
Dates et versions
Identifiants
- HAL Id : hal-01126355 , version 1
Citer
Aymen Louati, Chadlia Jerad, Kamel Barkaoui. On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams. 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), Apr 2013, X, France. pp.1-6. ⟨hal-01126355⟩
Collections
27
Consultations
0
Téléchargements