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

Nicolae Fota, Mohamed Kaniche, Karama Kanoun, Alain Peytavin

Browse the full SAFECOMP paper archive.