On the formal verification of conflict detection algorithims
By: César Muñoz ... [et al.].
Contributors: Muñoz, César, 1968-; Langley Research Center.
Series: [NASA technical memorandum] -- NASA/TM-2001-210864.; NASA technical memorandum -- 210864.
Publisher: National Aeronautics and Space Administration, Langley Research Center; Available from NASA Center for AeroSpace Inforamtion (CASI)
Published: 2001
Place of publication: Hampton, Va; Hanover, MD
Language: eng
Format: Microform
Subjects: Algorithms.; Detection.; Air traffic control.; Management systems.; Program verification (Computers).; Safety.
Notes: Shipping list no.: 2002-0157-M.

Also available via Internet form the NASA web site. Address as of 10/3/02: http://techreports.larc.nasa.gov/ltrs/PDF/2001/tm/NASA-2001-tm210864.pdf ; current access is available via PURL.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2001?] 1 microfiche .