| |
| 2004 | ||
|---|---|---|
| 2 | EE | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz: Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata. DS-RT 2004: 188-195 |
| 1 | EE | Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz: Temporal validation of Real Time multitasking applications based on communicating timed automata. FDL 2004: 578-586 |
| 1 | Jean-Philippe Babau | [1] [2] |
| 2 | Jean-Jacques Schwarz | [1] [2] |