Domain Based Verification for UML Models
Résumé
no abstract
Communication Dans Un Congrès
Année : 2005
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458118
Soumis le : vendredi 19 février 2010-12:39:04
Dernière modification le : vendredi 5 janvier 2024-03:24:19
Dates et versions
Identifiants
- HAL Id : hal-00458118 , version 1
Citer
Pascal André, Gilles Ardourel. Domain Based Verification for UML Models. {Workshop on Consistency in Model Driven Engineering C@Mode'05}, 2005, Nuremberg, Germany. pp.47--62. ⟨hal-00458118⟩
Collections
46
Consultations
0
Téléchargements