Login / Signup
A Particle System for Safety Verification of Free Flight in Air Traffic.
Henk A. P. Blom
Jaroslav Krystul
G. J. Bakker
Published in:
CDC (2006)
Keyphrases
</>
air traffic
free flight
civil aviation
air traffic control
air traffic management
model checking
information fusion
rigid body