Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Information Technology - Safety Analysis of Conflict Prevention Algorithms


    Erschienen in:

    Erscheinungsdatum :

    2014



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    BKL:    55.60 Raumfahrttechnik / 55.60 / 50.00 / 50.00 Technik allgemein: Allgemeines



    A Mathematical Analysis of Conflict Prevention Information

    Maddalon, J. / Butler, R. / Munoz, C. et al. | British Library Conference Proceedings | 2009


    A Mathematical Analysis of Conflict Prevention Information

    Maddalon, Jeffrey M. / Butler, Ricky W. / Munoz, Cesar A. et al. | NTRS | 2009


    A Mathematical Analysis of Conflict Prevention Information

    Maddalon, Jeffrey / Butler, Rick / Muñoz, César et al. | AIAA | 2009



    Formal Verification of Air Traffic Conflict Prevention Bands Algorithms

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