Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach
16th, International system safety conference ; 1998 ; Seattle; WA
1998-01-01
11 pages
Described as proceedings. Theme title: System safety - the total solution
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 | 2006
|Dependable real-time LANs for avionic applications
Tema Archive | 1985
|Towards a Deductive Object-Oriented System
British Library Online Contents | 1998
|Wiley | 2022
|