Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Information Technology - Safety Analysis of Conflict Prevention Algorithms


    Published in:

    Publication date :

    2014



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    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 / Butler, Rick / Muñoz, César et al. | AIAA | 2009


    A Mathematical Analysis of Conflict Prevention Information

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



    Formal Verification of Air Traffic Conflict Prevention Bands Algorithms

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