| |
| 2001 | ||
|---|---|---|
| 3 | EE | Charles André, Marie-Agnés Péraldi, Jean-Paul Rigault: Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. ISORC 2001: 438- |
| 1996 | ||
| 2 | Charles André, Marie-Agnés Péraldi: Predictability of a RTX2000-based Implementation. Real-Time Systems 10(3): 223-244 (1996) | |
| 1994 | ||
| 1 | Charles André, Marie-Agnés Péraldi: Simulation of Temporal Behaviour Based on a Synchronous Language. MASCOTS 1994: 147-151 | |
| 1 | Charles André | [1] [2] [3] |
| 2 | Jean-Paul Rigault | [3] |