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
Aufsatz (Konferenz)
Englisch
© 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
IuD Bahn | 1999
|Software Safety Technologies for Railway Signalling
British Library Online Contents | 1998
|