|
 
|
[LJBb13] On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams
Conférence Internationale avec comité de lecture : 5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013), April 2013, pp.1-6,Mots clés: CPN, IOD, UML
Résumé:
Verification of Hierarchical Formalization of IOD Diagrams
Equipe:
sys
BibTeX
| @inproceedings { | |||
| LJBb13, | |||
| title | = | "{On CPN-based Verification of Hierarchical Formalization of UML2 Interaction Overview Diagrams}", | |
| author | = | " A. Louati and C. Jerad and K. Barkaoui ", | |
| booktitle | = | "{5th International Conference On Modeling, Simulation and Applied Optimization, (IEEE-ICMSAO 2013)}", | |
| year | = | 2013, | |
| month | = | "April", | |
| pages | = | "1-6", | |
| } | |||
