Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Special Features: Signalling & Telecommunications - Application of Formal Methods to the Railway Signalling Systems


    Contributors:

    Published in:

    Publication date :

    2002



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English



    Classification :

    BKL:    55.85 Schienenverkehr




    Formal methods for railway signalling

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



    Application of Formal Methods to the Railway Signalling Systems

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


    Railway signalling and telecommunications systems in Europe

    Winter, P. / International Union of Railway (UIC) | British Library Conference Proceedings | 1998