Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formalization and Analysis of the Separation Minima for Aircraft in the North Atlantic Region



    Conference:

    Workshop; 4th, Langley formal methods ; 1997 ; Hampton; VA



    Publication date :

    1997-01-01


    Size :

    16 pages


    Remarks:

    Also known as LFM 97


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Evaluating Benefits of Reduced Separation Minima for North Atlantic Traffic Through Computer Simulations

    Zolfaghari, Armin / Hinze, Nicolas / Trani, Antonio et al. | TIBKAT | 2023


    Evaluating Benefits of Reduced Separation Minima for North Atlantic Traffic Through Computer Simulations

    Zolfaghari, Armin / Hinze, Nicolas / Trani, Antonio et al. | AIAA | 2023



    Analysis of Aircraft Separation Minima Using a Surveillance State Vector Approach

    Reynolds, T. G. / Hansman, R. J. | British Library Conference Proceedings | 2001


    Analysis of Aircraft Separation Minima Using a Surveillance State Vector Approach

    Zellweger, Andres G. / Donohue, George L. | AIAA | 2001