| |
| 2001 | ||
|---|---|---|
| 2 | Patrick Augé, Brigitte Rozoy, T. Maurin, Roger Reynaud, Kamel Bouchefra: Simulation and verification of an embedded system. Computers and Their Applications 2001: 272-275 | |
| 1 | EE | Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy: MARRELLA and the Verification of an Embedded System. FoSSaCS 2001: 409-412 |
| 1 | Dominique Ambroise | [1] |
| 2 | Kamel Bouchefra | [1] [2] |
| 3 | T. Maurin | [2] |
| 4 | Roger Reynaud | [2] |
| 5 | Brigitte Rozoy | [1] [2] |