Filtrer vos résultats
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
|
|
triés par
|
Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèlesRevue Génie logiciel, 2008, France
Communication dans un congrès
hal-00517278v1
|
|||
Trace Transformation Reuse to Guide Co-evolution of Models5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne
Communication dans un congrès
hal-00517268v1
|