A strategy for identification and development of safety critical software embedded in complex space systems
Acta astronautica ; 29 , 3
1993
Article (Journal)
English
Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|ESPRESS : engineering safety-critical embedded systems
TIBKAT | 1998
|