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