Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal verification of lateral and temporal safety buffers for state-based conflict detection




    Publication date :

    2013



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    55.50 Luftfahrzeugtechnik / 55.60 Raumfahrttechnik
    Local classification TIB:    275/7040



    Formal verification of lateral and temporal safety buffers for state-based conflict detection

    Narkawicz, Anthony / Muñoz, César / Herencia-Zapana, Heber et al. | SAGE Publications | 2013


    FORMAL VERIFICATION OF SAFETY BUFFERS FOR STATE-BASED CONFLICT DETECTION AND RESOLUTION

    Herencia-Zapana, H. / Jeannin, J.-B. / Munoz, C. et al. | British Library Conference Proceedings | 2010


    On the Formal Verification of Conflict Detection Algorithms

    Munoz, Cesar / Butler, Ricky W. / Carreno, Victor A. et al. | NTRS | 2001


    Formal Verification of Air Traffic Conflict Prevention Bands Algorithms

    Narkawicz, Anthony J. / Munoz, Cesar A. / Dowek, Gilles | NTRS | 2010


    Formal Verification of a Conflict Resolution and Recovery Algorithm

    J. Maddalon / R. Butler / A. Geser et al. | NTIS | 2004