Formally verified, rapid prototyping for Air Traffic Control.

Meurig Sage Chris W. Johnson

Published in: Reliab. Eng. Syst. Saf. (2002)

Keyphrases

rapid prototyping
air traffic control
agent oriented programming
development environment
air traffic
receding horizon
situation awareness
distributed cognition
database
data mining