Intégration de données formelles dans les diagrammes d'états d'UML
Résumé
no abstract
Communication Dans Un Congrès
Année : 2003
LS2N Hal : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00458199
Soumis le : vendredi 19 février 2010-16:09:42
Dernière modification le : mardi 20 février 2024-14:22:06
Dates et versions
Identifiants
- HAL Id : hal-00458199 , version 1
Citer
Christian Attiogbé, Pascal Poizat, Gwen Salaün. Intégration de données formelles dans les diagrammes d'états d'UML. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17. ⟨hal-00458199⟩
Collections
115
Consultations
0
Téléchargements