Publications

Publications de Iulian OBER

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 Rédaction d’actes de conférences et de workshops Contributions à des ouvrages de synthèse Rapports Thèses et habilitations
  • 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

  • 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

Départements
Type de publication
Critères





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