Alain Peytavin

According to our database, Alain Peytavin authored at least 3 papers between 1996 and 1999.

Collaborative distances:

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

1999

Availability of CAUTRA, a Subset of the French Air Traffic Control System.

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin

IEEE Trans. Computers, 1999

1996

Safety Analysis and Evaluation of an Air Traffic Control Computing System.

Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin

Proceedings of the 15th International Conference on Computer Safety, 1996

Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin

Proceedings of the Digest of Papers: FTCS-26, 1996