Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
16th, International system safety conference ; 1998 ; Seattle; WA
01.01.1998
11 pages
Described as proceedings. Theme title: System safety - the total solution
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
British Library Conference Proceedings | 2006
|Dependable real-time LANs for avionic applications
Tema Archiv | 1985
|Towards a Deductive Object-Oriented System
British Library Online Contents | 1998
|TIBKAT | 1989
|