| |
| 2005 | ||
|---|---|---|
| 2 | EE | Soizick Calvez, Pascal Aygalinc, Patrice Bonhomme: Proactive/reactive approach for maintenance tasks in time critical systems. ETFA 2005 |
| 2004 | ||
| 1 | EE | Patrice Bonhomme, Gérard Berthelot, Pascal Aygalinc, Soizick Calvez: Verification technique for time Petri nets. SMC (5) 2004: 4278-4283 |
| 1 | Pascal Aygalinc | [1] [2] |
| 2 | Gérard Berthelot | [1] |
| 3 | Patrice Bonhomme | [1] [2] |