Safety Critical Software System Verification Strategy
18th, International system safety conference ; 2000 ; Fort Worth, TX
2000-01-01
10 pages
Theme title: System safety at the frontier of technology. Also known as ISSC
Conference paper
English
system safety , SSS , ISSC
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Stochastic Validation and Verification of Railroad Safety-Critical Software
British Library Conference Proceedings | 2003
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|Definition and Verification of Critical Safety Functions in Software
British Library Conference Proceedings | 2006
|