| 2012 | ||
|---|---|---|
| i1 | Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni, Abdelkader Adla: Timed Test Case Generation Using Labeled Prioritized Time Petri Nets. CoRR abs/1206.0788 (2012) | |
| 2009 | ||
| c2 | Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni: Testing Real-Time Systems Using TINA. TestCom/FATES 2009: 1-15 | |
| 2008 | ||
| c1 | Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni: Test of preemptive real-time systems. AICCSA 2008: 734-742 | |
| 1 | Abdelkader Adla | |
| 2 | Kamel Mustapha Rahmouni | |
| 3 | Pierre de Saqui-Sannes |
Data released under the ODC-BY 1.0 license — See also our legal information page