Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal verification of protocol specified in LTS for railway signalling systems


    Contributors:

    Conference:

    9th, International Conference on Computer Aided Design, Manufacture, and Operation in the Railway and Other Advanced Mass Transit Systems; Computers in railways IX ; 2004 ; Dresden, Germany



    Publication date :

    2004-01-01


    Size :

    10 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archive | 1989


    Formal specifications of railway signalling systems using Stateflow

    Bacherini, S. / Fantechi, A. / Tempestini, M. et al. | Tema Archive | 2007


    A formal approach to railway signalling

    Cullyer, W.J. / Wong, W. | Tema Archive | 1990


    Application of Formal Methods to the Railway Signalling Systems

    Terada, N. / Fukuda, M. | British Library Online Contents | 2002


    Interlocking Formal Verification at Alstom Signalling

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