Research teams
| Teams | Résumé | Departments |
|---|---|---|
| DEVINE | DEVINE: Dependable distributed systems: Verification made efficient The overall goal of the Devine project-team is to contribute to the design of dependable distributed systems that include quantitative aspects such as time, cost or probabilities... | D4 - Language and software engineering |