Les équipes de recherche
| Equipes | Résumé | Départements |
|---|---|---|
| HYCOMES | HYCOMES, Modélisation hybride et conception par contrats pour les systèmes embarqués multi-physiques Notre vision est que les outils de modélisation des systèmes hybrides méritent en théorie des efforts similaires à ceux des langages synchrones... | D4 - Langage et génie logiciel |