Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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



    Conference:

    Congress; 27th, International Council of the Aeronautical Sciences (Congress); ICAS 2010; [electronic resource] ; 2010 ; Nice, France



    Publication date :

    2010-01-01


    Size :

    ICAS 2010-10.3.2


    Remarks:

    Includes bibliographical references and author index; Held on CD-ROM



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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 a Conflict Resolution and Recovery Algorithm

    Maddalon, Jeffrey / Butler, Ricky / Geser, Alfons et al. | NTRS | 2004


    Formal Verification of a Conflict Resolution and Recovery Algorithm

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


    Safety verification of conflict resolution manoeuvres

    Tomlin, C. / Mitchell, I. / Ghosh, R. | IEEE | 2001