Les équipes de recherche
| Equipes | Résumé | Départements |
|---|---|---|
| DEVINE | DEVINE : Dependable distributed systems: Verification made efficient L'objectif global de l'équipe du projet Devine est de contribuer à la conception de systèmes distribués fiables qui intègrent des aspects quantitatifs tels que le temps, le coût ou... | D4 - Langage et génie logiciel |