Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Runtime verification of railway applications with extended live sequence charts


    Beteiligte:
    Chai, Ming (Autor:in) / Humboldt-Universität zu Berlin (Grad-verleihende Institution) / Shaker Verlag (Verlag)


    Erscheinungsdatum :

    2016


    Format / Umfang :

    VIII, 153 Seiten


    Anmerkungen:

    24 cm x 17 cm, 249 g
    Diagramme



    Medientyp :

    Hochschulschrift


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    DDC:    625.100289 / 625.10028514
    BKL:    54.52 Software engineering / 50.17 Sicherheitstechnik / 55.30 Schienenfahrzeugtechnik, Eisenbahntechnik
    RVK:    ST 233



    Runtime Verification of Railway Interlocking Software with Parametric Timed Automata

    Chai, Ming / Wang, Haifeng / Zhang, Jian et al. | IEEE | 2018


    Runtime Verification

    Alwyn E Goodloe | NTRS


    Runtime Verification of Stochastic Systems

    Wilcox, Cristina / Williams, Brian | AIAA | 2010



    Runtime Verification for Autonomous Spacecraft Software

    Goldberg, A. / Havelund, K. / McGann, C. et al. | British Library Conference Proceedings | 2005