Login / Signup
Application of design for verification with concurrency controllers to air traffic control software.
Aysu Betin-Can
Tevfik Bultan
Mikael Lindvall
Benjamin Lux
Stefan Topp
Published in:
ASE (2005)
Keyphrases
</>
air traffic control
control software
user interface
civil aviation
formal verification
reinforcement learning
decision makers
decision support
intelligent systems
model checking
formal methods
functional verification