Scenario-based modeling and verification of system requirement specification for the European Train Control System
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.
IuD Bahn | 1994
|Scenario-based requirements analysis for Chinese new train control system
British Library Conference Proceedings | 2022
|