Integrating Safety Analysis with Automatic Test-Data Generation for Software Safety Verification
17th, International system safety conference ; 1999 ; Orlando, FL
01.01.1999
10 pages
Theme title: System safety at the dawn of the new millennium
Aufsatz (Konferenz)
Englisch
system safety , SSS , ISSC
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
SHIP MANAGEMENT - Integrating safety management software
Online Contents | 2001
Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2006
|Safety Critical Software System Verification Strategy
British Library Conference Proceedings | 2000
|Safety-critical software development using automatic production code generation
Kraftfahrwesen | 2007
|