Publications

Publications de Iulian OBER

Articles dans une revue
Communications dans un congrès
Chapitres d’ouvrage
HDR
  • Iulian Ober

    Observer pour vérifier, contraindre et interagir. Applications de l’observation à la construction et à la validation des systèmes logiciels

    Habilitation à diriger des recherches, Université de Toulouse-le-Mirail, décembre 2010.

    BibTeX

Thèses
  • Iulian Ober

    Spécification et Validation des Systèmes Temporisés avec des langages de Description Formelle : étude et mise en oeuvre

    Thèse de doctorat, Institut National Polytechnique de Toulouse, septembre 2001.

    BibTeX

Pré-publication, document de travail

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par