Model checker for railway signalling communication protocol
10th, International conference on computer aided design, manufacture, and operation in the railway and other advanced mass transit systems; Computers in railways X ; 2006 ; Prague, Czech Republic
2006-01-01
8 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Safety characteristics analysis of Korean standard communication protocol for railway signalling
British Library Conference Proceedings | 2007
|