According to our database1, Patrick Farail authored at least 3 papers between 1994 and 2004.
Legend:Book In proceedings Article PhD thesis Other
COTRE as an AADL Profile.
Proceedings of the Architecture Description Languages, 2004
Towards the verification of real-time systems in avionics: the Cotre approach.
Electr. Notes Theor. Comput. Sci., 2003
A New Approach for HOOD/Ada Mapping.
Proceedings of the Ada in Europe, First International Eurospace, 1994