Method for Verifying System Requirement Specifications Based on Train Control System Safety Requirements
QUARTERLY REPORT- RTRI ; 54 , 2 ; 91-96
01.01.2013
6 pages
Aufsatz (Zeitschrift)
Englisch
DDC: | 625.1 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verifying Communication Related Safety Constraints in RSML Specifications
British Library Conference Proceedings | 1997
|