Un cadre pour la vérification de modèles UML
Résumé
no abstract
Autre Publication Scientifique
Année : 2005
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458117
Soumis le : vendredi 19 février 2010-12:39:04
Dernière modification le : vendredi 5 janvier 2024-03:22:17
Dates et versions
Identifiants
- HAL Id : hal-00458117 , version 1
Citer
Pascal André, Gilles Ardourel, Gerson Sunye. Un cadre pour la vérification de modèles UML. 2005. ⟨hal-00458117⟩
Collections
77
Consultations
0
Téléchargements