PAPERS - Deriving Safety-critical System Specifications through Requirements Engineering Process
Quarterly report of RTRI ; 39 , 4
1998
Article (Journal)
English
BKL: | 55.85 Schienenverkehr |
Deriving Safety-critical System Specifications through Requirements Engineering Process
British Library Online Contents | 1998
|Deriving Programs from Their Z specifications
IEEE | 2006
|Engineering Safety Specifications
British Library Conference Proceedings | 2006
|International Legal Requirements, Safety and Operating Specifications
SAE Technical Papers | 1965
|