Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Development, validation and application of stochastically and dynamically coloured Petri net model of ACAS operations for safety assessment purposes




    Publication date :

    2013



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English



    Classification :

    BKL:    55.84 Straßenverkehr



    Dynamically coloured Petri nets for air traffic management safety purposes

    Everdij, M.H.C. / Blom, H.A.P. / Klompstra, M.B. et al. | TIBKAT | 1997


    Dynamically Coloured Petri Nets for Air Traffic Management Safety Purposes

    Everdij, M. H. C. / Blom, H. A. P. / Klompstra, M. B. et al. | British Library Conference Proceedings | 1997




    ACAS X safety analysis in the current RTCA environment

    Kilbourne, Todd | IEEE | 2015

    Free access