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
Article (Journal)
English
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
|