Filtrer vos résultats
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
triés par
|
Expérimentation d'un langage de contexte et de propriétés pour la validation formelle de modèles logicielsSéminaire Action IDM-INNFORSID : Exigence, Traçabilité et Co-conception dans les processus de développement, 2009, Paris, France
Communication dans un congrès
hal-00517273v1
|