Software Methodologies for Safety Critical Systems
52nd Symposium, Software for guidance and control ; 1991 ; Helexpo; Greece
1991-01-01
23/1-23/21
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Software methodologies for safety critical systems
Tema Archiv | 1991
|SYSTEMS & SOFTWARE - Safety-critical software for aerospace systems.
Online Contents | 2004
Software testing of safety critical systems
TIBKAT | 1983
|Safety critical software in traffic control systems
Tema Archiv | 1990
|Software Reuse in Safety-Critical Airborne Systems
IEEE | 2006
|