|
||
---|---|---|
hal-00672684v1
Communication dans un congrès
Towards a tool-supported approach for collaborative process modeling and enactment APSEC 2011, Dec 2011, Vietnam. pp.XX |
||
hal-00517278v1
Communication dans un congrès
Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles Revue Génie logiciel, 2008, France |
||
hal-00517268v1
Communication dans un congrès
Trace Transformation Reuse to Guide Co-evolution of Models 5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne |
||
|