Login / Signup
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System.
Karama Kanoun
Marie Borrel
Thierry Morteveille
Alain Peytavin
Published in:
FTCS (1996)
Keyphrases
</>
control system
air traffic
air traffic control
fuzzy logic
control algorithm
free flight
real time
software systems
civil aviation