Patrick Farail

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

Collaborative distances :
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2004
COTRE as an AADL Profile.
Proceedings of the Architecture Description Languages, 2004

2003
Towards the verification of real-time systems in avionics: the Cotre approach.
Electr. Notes Theor. Comput. Sci., 2003

1994
A New Approach for HOOD/Ada Mapping.
Proceedings of the Ada in Europe, First International Eurospace, 1994


  Loading...