| |
| 2006 | ||
|---|---|---|
| 3 | EE | Ismail Berrada, Richard Castanet, Patrick Félix, Aziz Salah: Test Case Minimization for Real-Time Systems Using Timed Bound Traces. TestCom 2006: 289-305 |
| 2005 | ||
| 2 | EE | Ismail Berrada, Richard Castanet, Patrick Félix: Testing Communicating Systems: a Model, a Methodology, and a Tool. TestCom 2005: 111-128 |
| 2004 | ||
| 1 | EE | Ismail Berrada, Richard Castanet, Patrick Félix: From The Feasability Analysis To Real-Time Test Generation. Stud. Inform. Univ. 3(2): 203-230 (2004) |
| 1 | Ismail Berrada | [1] [2] [3] |
| 2 | Richard Castanet | [1] [2] [3] |
| 3 | Aziz Salah | [3] |