Publications

Recherche de publications

Départements
Type de publication
Critères





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

Publications de Dieumegard Arnaud

Conférences et workshops internationaux avec actes édités et comité de lecture Conférences et workshops nationaux avec actes édités et comité de lecture Thèses et habilitations
  • 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