| Project | Client | Description |
|---|---|---|
| Cercles | ANR | Compositional certification of critical and safe embedded software. |
| Train/Ground Communication | - | Train/Ground Magnetic Communication System |
| Deploy | - | Industrial deployment of system engineering methods providing high dependability and productivity |
| Forcoment | StMicroelectronics | Event-B for the synthesizable VHDL |
| OISAU | DGA | Opening and Interoperability for Autonomous Systems. |
| QPSK | - | Transmission par modulation QPSK |
| RIMEL | ANR | Incremental refinement of event models. |
| Topcased | Open source software toolkit project integrated into Eclipse’s IDE. |
English
Français 
