Rechercher

[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: vespa

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",
}