Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Using formal methods for quality assurance of interlocking systems



    Conference:

    International conference; 6th, Computer aided design, manufacture and operation in the railway and other advanced mass transit systems: Computers in railways VI ; 1998 ; Lisbon



    Publication date :

    1998-01-01


    Size :

    10 pages




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Using formal methods for quality assurance of interlocking systems

    Eriksson, L.H. / Johansson, K. | Tema Archive | 1998


    Formal Methods for Industrial Interlocking Verification

    Chadwick, Simon / James, Phillip / Roggenbach, Markus et al. | IEEE | 2018


    Comparing Formal Verification Approaches of Interlocking Systems

    Haxthausen, Anne Elisabeth / Nguyen, Hoang Nga / Roggenbach, Markus | British Library Conference Proceedings | 2016



    Interlocking Formal Verification at Alstom Signalling

    Parillaud, Camille / Fonteneau, Yoann / Belmonte, Fabien | British Library Conference Proceedings | 2019