Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
16th, International system safety conference ; 1998 ; Seattle, WA
2006-01-01
11 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
Conference paper
English
© 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 | 1998
|Dependable real-time LANs for avionic applications
Tema Archive | 1985
|Towards a Deductive Object-Oriented System
British Library Online Contents | 1998
|TIBKAT | 1989
|