Nos partenaires

CNRS

Rechercher





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

Publications

Eric Barboni

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)

Articles de revues internationales / International 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

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Eric Barboni. Formal Methods for Software Components applied Interactive Safety Critical System. Thèse de doctorat, Université Paul Sabatier, septembre 2006.
    BibTeX

Autres types de publications / Other publications