Communication Dans Un Congrès
Année :
Dtn Ensieta : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00517273
Soumis le : mardi 14 septembre 2010-09:17:01
Dernière modification le : lundi 14 mars 2022-11:08:06
Dates et versions
Identifiants
- HAL Id : hal-00517273 , version 1
Citer
Philippe Dhaussy, A. Monégier Du Sorbier, Eric Bonnafous. Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logiciels. Séminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France. ⟨hal-00517273⟩
Collections
50
Consultations
0
Téléchargements