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
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
IEEE | 2016
|ETCS Level 1 Limited Supervision-Migration von ETCS in die vorhandene Bahninfrastruktur
Tema Archive | 2014
|British Library Conference Proceedings | 1998
|Online Contents | 1998
|