Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Efficient Data Validation for Geographical Interlocking Systems


    Beteiligte:
    Peleska, Jan (Autor:in) / Krafczyk, Niklas (Autor:in) / Haxthausen, Anne E. (Autor:in) / Pinger, Ralf (Autor:in)

    Kongress:

    Reliability, safety, and security of railway systems: modeling analysis, verifivation, and certification (International conference)



    Erscheinungsdatum :

    01.01.2019


    Format / Umfang :

    17 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Unbekannt



    Geographical vs. functional modelling by statecharts of interlocking systems

    Banci, Michele / Fantechi, Alessandro | Tema Archiv | 2004


    COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

    Ingram, S. / Hossain, M. A. / Cox, S. et al. | British Library Conference Proceedings | 2005