Method for Verifying System Requirement Specifications Based on Train Control System Safety Requirements
QUARTERLY REPORT- RTRI ; 54 , 2 ; 91-96
2013-01-01
6 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 625.1 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Deriving Safety-critical System Specifications through Requirements Engineering Process
British Library Online Contents | 1998
|Safety and Security Requirements for an Advanced Train Control System
Springer Verlag | 1997
|Europäisches Patentamt | 2015
|Formal Specifications of the European Train Control System
British Library Conference Proceedings | 1997
|