Nos partenaires

CNRS

Rechercher





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

Publications

Jean-Paul Bodeveix

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.

 


Livres (monographies) / Books (monographs)

Ouvrages de synthèse / Edited volumes

Numéros spéciaux de revues / Special issues of journal

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Jean-Paul Bodeveix. Méthodes formelles et sûreté de développement. Habilitation à diriger des recherches, Université Paul Sabatier, octobre 2001.
    BibTeX

Autres types de publications / Other publications