IRIT - UMR 5505

Partenaires

Menu

• Présentation
  • Le mot du directeur
  • Organigramme
  • Conseils, comité d’évaluation
  • L’IRIT en chiffres
    • Budget
    • Personnel
    • Publications
  • Coordonnées, plans d’accès
• Axes stratégiques
  • Systèmes embarqués critiques
  • Systèmes sociotechniques ambiants
  • Systèmes informatiques pour la santé et l’autonomie
  • Masses de données et calcul
• Thèmes de recherche
  • Thème 1 - Analyse et synthèse de l’information
    • Equipe SAMoVA
    • Equipe SC
    • Equipe TCI
    • Equipe VORTEX
  • Thème 2 - Indexation et recherche d’informations
    • Equipe PYRAMIDE
    • Équipe SIG
  • Thème 3 - Interaction, autonomie, dialogue et coopération
    • Equipe IC3
    • Equipe IHCS
    • Equipe LIIHS
    • Equipe SMAC
  • Thème 4 - Raisonnement et décision
    • Equipe LILaC
    • Equipe RPDMP
  • Thème 5 - Modélisation, algorithmes et calcul haute performance
    • Equipe APO
  • Thème 6 - Architecture, systèmes et réseaux
    • Equipe ASTRE
    • Equipe IRT
    • Equipe SIERA
    • Equipe TRACES
  • Thème 7 - Sûreté de développement du logiciel
    • Equipe ACADIE
    • Equipe MACAO
• Structures de recherches communes
  • Coopération AIRSYS
  • Laboratoire AUTODIAG
  • Laboratoire ILIKS
  • Programme FREMIT
• Projets, collaborations
  • Actions transversales
    • Groupes de travail
    • Plates-formes
    • Projets
  • Projets nationaux en cours
  • Europe et International
    • Projets européens en cours
    • Collaborations internationales
• Evénements
  • Agenda
  • Congrès, séminaires, écoles, thèses, habilitations
    • Congrès, workshops, conférences, écoles
    • Séminaires
    • Thèses et habilitations
    • Archives
    • Rencontres Recherche-Industrie
  • Journal "noir sur blanc"
• Logiciels diffusés
• Publications
• Service documentation

Rechercher

Navigation

Publications

Servières Corinne

 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 / Books
• Ouvrages de synthèse / Books edition
• Numéros spéciaux de revues / Special issues of journals
• Actes de conférences et de workshops / Conferences proceedings
• Articles de revues internationales / International journals articles
• Articles de revues nationales / National journals articles
• Contributions à des ouvrages de synthèse / Books parts
• Conférences et workshops internationaux / International conferences articles
• Conférences et workshops nationaux / National conferences articles
• Conférences sans actes publiés / Conferences articles without published proceedings
• Rapports / Reports
• Thèses et habilitations / Thesis and HDR
• Autres types de publications / Other publications

Ouvrages de synthèse / Books edition

• Jean-Paul Bahsoun, Pascal Farès, Corinne Servières. Multilevel proof system for concurrent object-oriented systems, HERMES Science publications, France, décembre 2000.
  Résumé
  BibTeX