Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Simulating and analyzing railway interlockings in ExSpect


    Beteiligte:
    Basten, Twan (Autor:in) / Bol, Roland (Autor:in) / Voorhoeve, Marc (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1994


    Format / Umfang :

    30 Bl


    Medientyp :

    Buch


    Format :

    Print


    Sprache :

    Englisch



    Four interlockings combined

    Engineering Index Backfile | 1938


    Compositional Verification of Railway Interlockings: Comparison of Two Methods

    Fantechi, Alessandro / Gori, Gloria / Haxthausen, Anne E. et al. | British Library Conference Proceedings | 2022


    Interlockings installed at two crossings

    Engineering Index Backfile | 1940


    Four interlockings combined

    Engineering Index Backfile | 1938


    Microprocessor Interlockings: Designing Network Equations (IEEE)

    Santini, A. M. / IEEE / ASME | British Library Conference Proceedings | 1997