Patrick Farail

According to our database, Patrick Farail authored at least 3 papers between 1994 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

COTRE as an AADL Profile.

Patrick Farail, Pierre Gaufillet

Proceedings of the Architecture Description Languages, 2004

2003

Towards the verification of real-time systems in avionics: the Cotre approach.

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

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

1994

A New Approach for HOOD/Ada Mapping.

Pierre Dissaux, Patrick Farail, Pierre Leroy, P. Micouin

Proceedings of the Ada in Europe, First International Eurospace, 1994