Publications

Recherche de publications

Publications de Jean-Paul Bodeveix

Articles dans des revues internationales 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 Conférences sans actes publiés Livres (monographies) Rédaction d’ouvrages de synthèse Rédaction de numéros spéciaux de revues Contributions à des ouvrages de synthèse Rapports Thèses et habilitations
  • 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

Départements
Type de publication
Critères





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