Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal methods for railway operation and control systems


    Contributors:

    Conference:

    Symposium FORMS 2003 ; 2003 ; Budapest Symposium FORMS 2003 (Budapest) : 2003.05.15-16


    Publication date :

    2003


    Size :

    V, 371 S.


    Remarks:

    graph. Darst.



    Type of media :

    Conference Proceedings


    Type of material :

    Print


    Language :

    English



    Classification :

    BKL:    55.34 Bahnbetriebstechnik



    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


    Formal Software Techniques for Railway Systems

    Bjorner, D. / International Federation of Automatic Control | British Library Conference Proceedings | 2001


    Towards Domain-Specific Formal Specification Languages for Railway Control Systems

    Peleska, J. / Baer, A. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001


    UML-based design and formal analysis of railway traffic control systems

    Marcano, R. / Mariano, G. / Bon, P. | Tema Archive | 2004