Formally verifying the correctness of a network-based protocol for railway signalling systems
11th, International Conference on Urban Transport and the Environment.; Urban transport XI ; 2005 ; Algarve, Portugal
2005-01-01
10 pages
Includes bibliographical references and index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formally Verifying Navigation Safety for Ground Robots
British Library Conference Proceedings | 2016
|Model checker for railway signalling communication protocol
British Library Conference Proceedings | 2006
|Tema Archive | 1980
|British Library Conference Proceedings | 2013
|Formal verification of protocol specified in LTS for railway signalling systems
British Library Conference Proceedings | 2004
|