Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Productions scientifiques > Publications

Publications

Philippe Dhaussy

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers
  • 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 / International conference papers