Access

    Download

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Published in:

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


    Publication date :

    2019


    Size :

    268KB



    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English




    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