Publications

Publications de

Articles dans des revues internationales Articles dans des revues nationales
  • Bastien Amar, Philippe Dhaussy, Hervé Leblanc, Bernard Coulette

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

    Dans : Génie Logiciel, GL & IS, Meudon – France, Numéro spécial L’Ingénierie Dirigée par les Modèles : Processus, cohérence, traçabilité et composants de confiance, Vol. 85, p. 20-24, juin 2008.

    BibTeX

Conférences et workshops internationaux avec actes édités et comité de lecture

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par
et
Ordre chronologique (année) Décroissant Croissant