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
01.01.2006
8 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.