Publications

Publications de

Communications dans un congrès
Thèses
  • 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