| Project | Client | Description |
|---|---|---|
| SIL4 train interface card | ANSALDO | Development of SIL4 train interface electronic card. |
| B4L4 | StMicroelectronics | The B Method for the Construction of Microkernel-Based Systems |
| Forcoment | StMicroelectronics | Event-B for the synthesizable VHDL |
| ModemB | RATP | COPP System Component |
English
Français 
