| |
| 2003 | ||
|---|---|---|
| 2 | EE | Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2002 | ||
| 1 | EE | Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu: On Combining the Persistent Sets Method with the Covering Steps Graph Method. FORTE 2002: 344-359 |
| 1 | J. L. Bernartt | [2] |
| 2 | Bernard Berthomieu | [1] [2] |
| 3 | Jean-Paul Bodeveix | [2] |
| 4 | Pierre Dissaux | [2] |
| 5 | Patrick Farail | [2] |
| 6 | Jean-Marie Farines | [2] |
| 7 | Mamoun Filali | [2] |
| 8 | Pierre Gauffilet | [2] |
| 9 | Jean-Luc Lambert | [2] |
| 10 | Pierre Michel | [2] |
| 11 | Gérard Padiou | [2] |
| 12 | François Vernadat | [1] [2] |