Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

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



    Erscheinungsdatum :

    01.01.2010


    Format / Umfang :

    ICAS 2010-10.3.2


    Anmerkungen:

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



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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