IRIT - UMR 5505
- Version texte -
Accueil
Annuaire
Intranet
English
Accueil
>
Français
>
Thèmes de recherche
>
Thème 7 - Sûreté de développement du logiciel
>
Equipe ACADIE
> Personnel
Personnel
Présentation
Le mot du directeur
Organigramme
Conseils, comité d’évaluation
L’IRIT en chiffres
Budget
Personnel
Publications
Coordonnées, plans d’accès
Rapport scientifique 2002-2005
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
Equipe 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 ILPL
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
National
Europe et International
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 en accès libre
Publications
Service documentation
Rechercher