Nos partenaires

CNRS

Rechercher





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

Publications

Dieumegard Arnaud

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.

 


Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Arnaud Dieumegard. Formal Guaranties for Safety Critical Code Generation : the Case of Highly Variable Languages. Thèse de doctorat, Institut National Polytechnique de Toulouse, janvier 2015.
    BibTeX