Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Application of Formal Methods to the Railway Signalling Systems


    Contributors:
    Terada, N. (author) / Fukuda, M. (author)

    Published in:

    Publication date :

    2002-01-01


    Size :

    6 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    625.1



    Formal methods for railway signalling

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



    Application on formal methods to the railway signalling system

    Terada, Natsuki / Fukuda, Mitsuyoshi | IuD Bahn | 2002


    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