Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verification of Solid State Interlocking Programs


    Beteiligte:
    James, P. (Autor:in) / Lawrence, A. (Autor:in) / Moller, F. (Autor:in) / Roggenbach, M. (Autor:in) / Seisenberger, M. (Autor:in) / Setzer, A. (Autor:in) / Kanso, K. (Autor:in) / Chadwick, S. (Autor:in)

    Kongress:

    Workshop, Towards a formal methods body of knowledge for railway control and safety systems; FM-RAIL-BOK workshop 2013 ; 2013 ; Madrid



    Erscheinungsdatum :

    01.01.2014


    Format / Umfang :

    16 pages


    Anmerkungen:

    Held as part of the 11th International Conference on Software Engineering and Formal Methods (SEFM 2013).



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    INTERLOCKING DATA VERIFICATION DEVICE AND INTERLOCKING DATA-DESIGN VERIFICATION SYSTEM

    ARA NOBUYUKI / YAMANAKA MANABU / KIMURA TATSUYA | Europäisches Patentamt | 2018

    Freier Zugriff

    Verification of railway interlocking systems

    Busard, Simon / Cappart, Quentin / Limbrée, Christophe et al. | ArXiv | 2015

    Freier Zugriff

    Verification of railway interlocking systems

    Simon Busard / Quentin Cappart / Christophe Limbrée et al. | DOAJ | 2015

    Freier Zugriff

    NYCT Solid State Interlocking (SSI) Safety Certification

    Georgiadis, Sofia K. / Parrella, William / Hacken, George | British Library Conference Proceedings | 2016


    Solid-state interlocking in railway signalling, SMILE

    Akita, K. / Watanabe, T. / Nakamura, H. | Tema Archiv | 1987