Domain Based Verification for UML Models - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Domain Based Verification for UML Models

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-00458118 , version 1 (19-02-2010)

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⟩
38 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More