Alain Peytavin

Publication Activity (10 Years)

Years Active: 1996-1999
Publications (10 Years): 0

Publications

Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
Availability of CAUTRA, a Subset of the French Air Traffic Control System. IEEE Trans. Computers 48 (5) (1999)
Nicolae Fota, Mohamed Kaâniche, Karama Kanoun, Alain Peytavin
Safety Analysis and Evaluation of an Air Traffic Control Computing System. SAFECOMP (1996)
Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. FTCS (1996)