Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN
12th, International conference on computer system design and operation in railways and other transit systems; Computers in railways XII ; 2010 ; Beijing
2010-01-01
12 pages
Includes bibliographical references and index; Also known as COMPRAIL 2010
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
IEEE | 2016
|British Library Conference Proceedings | 1998
|Online Contents | 1998
|