Research teams
| Teams | Résumé | Departments |
|---|---|---|
| HYCOMES | HYCOMES, Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems Our vision is that hybrid systems modeling tools deserve similar efforts in theory as synchronous languages did for the programming of embedded systems. Scientif... | D4 - Language and software engineering |