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

Nicolae Fota Mohamed Kaâniche Karama Kanoun Alain Peytavin

Published in: SAFECOMP (1996)

Keyphrases

air traffic control
safety analysis
nuclear power plant
data mining
symbolic model checking
multi agent systems
distributed systems
safety critical