Marie Borrel

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)
Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. FTCS (1996)