Verification, Validation and Licensing of Safety Critical Systems
16th, International system safety conference ; 1998 ; Seattle, WA
01.01.2006
10 pages
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 16th in Conference Records; HELD ON CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verification, Validation and Licensing of Safety Critical Systems
British Library Conference Proceedings | 1998
|Run-Time Verification and Validation for Safety-Critical Flight Control Systems
British Library Conference Proceedings | 2008
|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
|