1999 | ||
---|---|---|
2 | 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): 528-535 (1999) | |
1996 | ||
1 | Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin: Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. FTCS 1996: 106-115 |
1 | Karama Kanoun | [1] [2] |
2 | Thierry Morteveille | [1] [2] |
3 | Alain Peytavin | [1] [2] |