Method for Verifying System Requirement Specifications Based on Train Control System Safety Requirements
Quarterly report of RTRI ; 54 , 2 ; 91-96
2013
Aufsatz (Zeitschrift)
Englisch
BKL: | 55.85 Schienenverkehr |
British Library Online Contents | 2013
|Verifying Communication Related Safety Constraints in RSML Specifications
British Library Conference Proceedings | 1997
|