Publications

Publications de

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

Départements
Type de publication
Critères





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