Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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




    Erscheinungsdatum :

    2013



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    BKL:    55.50 Luftfahrzeugtechnik / 55.60 Raumfahrttechnik
    Lokalklassifikation 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

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