Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region
Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA
1997-01-01
16 pages
Also known as LFM 97
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Analysis of Aircraft Separation Minima Using a Surveillance State Vector Approach
British Library Conference Proceedings | 2001
|