Patrick Farail

Publication Activity (10 Years)

Years Active: 1994-2004
Publications (10 Years): 0

Publications

Patrick Farail, Pierre Gaufillet
COTRE as an AADL Profile. IFIP-WADL (2004)
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. Electron. Notes Theor. Comput. Sci. 80 (2003)
Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin
A New Approach for HOOD/Ada Mapping. Ada-Europe (1994)