Publications

Publications de

Articles dans des revues nationales 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 Rapports Thèses et habilitations
  • Nassima Izerrouken

    Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié

    Thèse de doctorat, Institut National Polytechnique de Toulouse, juillet 2011.

    Résumé
    BibTeX

Départements
Type de publication
Critères





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