| 2008 |
|---|
| 3 | EE | Frank Singhoff,
Alain Plantec,
Pierre Dissaux:
Can We Increase the Usability of Real Time Scheduling Theory? The Cheddar Project.
Ada-Europe 2008: 240-253 |
| 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) |
| 1994 |
|---|
| 1 | | Pierre Dissaux,
Patrick Farail,
Pierre Leroy,
P. Micouin:
A New Approach for HOOD/Ada Mapping.
Ada-Europe 1994: 147-154 |
