Safety characteristics analysis of Korean standard communication protocol for railway signalling
13th, International conference on urban transport and the environment; urban transport and the environment in the 21st century ; 2007 ; Coimbra, Portugal
2007-01-01
12 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Model checker for railway signalling communication protocol
| British Library Conference Proceedings | 2006
| British Library Conference Proceedings | 2010
Software Safety Technologies for Railway Signalling
| British Library Online Contents | 1998
Software safety technologies for railway signalling
| IuD Bahn | 1999