Safety Critical Software System Verification Strategy
18th, International system safety conference ; 2000 ; Fort Worth, TX
2006-01-01
P16
Held on System Safety Society Archive DVD, ISSC Proceedings 1973-2006 with Hazard Prevention JSS 1964-2006; Also held on CD-ROM as International system safety conference 18th in Conference Records; HELD ON CD-ROM
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|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
|