| 2003 | ||
|---|---|---|
| j1 | 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: 203-218 (2003) | |
| 1994 | ||
| c1 | Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin: A New Approach for HOOD/Ada Mapping. Ada-Europe 1994: 147-154 | |
Data released under the ODC-BY 1.0 license — See also our legal information page