Recherche - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu

Filtrer vos résultats

2 Résultats
authFullName_s : Bastien Amar

Description d'un modèle de traçabilité pour la mise en oeuvre d'une technique de validation formelle de modèles

Bastien Amar , Philippe Dhaussy , Hervé Le Blanc , Bernard Coulette
Revue Génie logiciel, 2008, France
Communication dans un congrès hal-00517278v1

Trace Transformation Reuse to Guide Co-evolution of Models

Bastien Amar , Hervé Le Blanc , Philippe Dhaussy , Bernard Coulette
5th Int. Conference on Software and Data Technologies (ICSOFT'10), Jul 2010, Athens, Greece. pp.Non renseigne
Communication dans un congrès hal-00517268v1