Definition and Verification of Critical Safety Functions in Software
19th, International system safety conference ; 2001 ; Huntsville, AL
01.01.2006
P42
Held on System Safety Society Archive DVD, ISSC Proceedings 1973-2006 with Hazard Prevention JSS 1964-2006; HELD ON CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|Integrated Formal Verification and Validation of Safety Critical Software
British Library Conference Proceedings | 1993
|Stochastic Validation and Verification of Railroad Safety-Critical Software
British Library Conference Proceedings | 2003
|Defining Software Requirements for Safety Critical Functions
British Library Conference Proceedings | 1994
|