An approach to the verification of the Center-TRACON automation system
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 289-304
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Enabling user preferences through data exchange1997
- Hybrid I/O automata1996
- Descent Advisor preliminary field test1995
- The Final Approach Spacing ToolIFAC Proceedings Volumes, 1994
- The Traffic Management Advisor1990