Zugriff

    Download

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway


    Beteiligte:

    Erschienen in:

    Electronic Communications of the EASST ; 76 , Electronic Communications of the EASST, Vol. 76 (2019): Automated Verification of Critical Systems 2018 (AVoCS 2018)


    Erscheinungsdatum :

    2019


    Format / Umfang :

    268KB



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Compositional Verification of Railway Interlockings: Comparison of Two Methods

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


    Simulating and analyzing railway interlockings in ExSpect

    Basten, Twan / Bol, Roland / Voorhoeve, Marc | TIBKAT | 1994


    Electric railway traction. Part 4: Signalling and interlockings

    Hill, R.J. | IET Digital Library Archive | 1995


    Safety assurance of configuration data for railway signal interlockings

    Short, R.C. | IET Digital Library Archive | 2006