Publications

Publications de

Conférences et workshops internationaux avec actes édités et comité de lecture Conférences sans actes publiés Contributions à des ouvrages de synthèse Thèses et habilitations
  • Christine Servières

    Modélisation et Vérification Orientées Objet pour les Systèmes Réactifs

    Thèse de doctorat, Institut National Polytechnique de Toulouse, novembre 1995.

    BibTeX

Départements
Type de publication
Critères





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