A scenario-based safety argumentation for CBTC safety case architecture
12th, International conference on computer system design and operation in railways and other transit systems; Computers in railways XII ; 2010 ; Beijing
01.01.2010
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.
Developing CBTC system safety requirement hierarchy through STPA methodology
Elsevier | 2024
|Safety Analysis of a CBTC System: A Rigorous Approach with Event-B
British Library Conference Proceedings | 2017
|