Nos partenaires

CNRS

Rechercher





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

Publications

Nassima Izerrouken

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.

 


Articles de revues nationales / National journal papers

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • 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