High-assurance systems engineering symposium: proceedings : Third IEEE International High-Assurance Engineering Symposium : November 13-15, 1998, Washington

Front Cover
IEEE Computer Society Press, Nov 1, 1998 - Computers - 321 pages
Partial Contents: Formal/Analytic Methods for Dependability; Reliability Modeling; Survivability & Security; Formal Methods; Design for High Assurance; Fault Analysis & Predication; Testing & Analysis of High-Assurance Systems; High-Assurance in Intelligent Systems

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Formal Specification in Collaborative Design of Critical Software Tools
13
Combining Various Solution Techniques for Dynamic Fault Tree Analysis
21
Using Composition to Design Secure FaultTolerant Systems
29
Copyright

32 other sections not shown

Common terms and phrases

Bibliographic information