Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

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



    Erscheinungsdatum :

    01.01.2005


    Format / Umfang :

    10 pages


    Anmerkungen:

    Includes bibliographical references and index



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    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 Archiv | 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