Publications

Publications de Eric BARBONI

Articles dans une revue
Communications dans un congrès
Chapitres d’ouvrage
Thèses
  • Eric Barboni

    Formal Methods for Software Components applied Interactive Safety Critical System

    Thèse de doctorat, Université Paul Sabatier, septembre 2006.

    BibTeX

Monographies
Autres publications

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par