Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formally verifying the correctness of a network-based protocol for railway signalling systems



    Conference:

    11th, International Conference on Urban Transport and the Environment.; Urban transport XI ; 2005 ; Algarve, Portugal



    Publication date :

    2005-01-01


    Size :

    10 pages


    Remarks:

    Includes bibliographical references and index



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formally Verifying Navigation Safety for Ground Robots

    Zhang, Manni / Zhang, Xinyu | British Library Conference Proceedings | 2016


    Model checker for railway signalling communication protocol

    Hwang, J.-G. / Jo, H.-J. / Lee, J. H. | British Library Conference Proceedings | 2006


    Railway signalling systems

    Andersson, H.S. | Tema Archive | 1980


    Formally Verifying Human-Automation Interaction with Specification Properties Generated from Task Analytic Models

    Bolton, M.L. / Jimenez, N. / van Paassen, M.M. et al. | British Library Conference Proceedings | 2013


    Formal verification of protocol specified in LTS for railway signalling systems

    Lee, J.-H. / Hwang, J.-G. / Yoon, Y.-G. et al. | British Library Conference Proceedings | 2004