Safety reliability fault tolerance concurrency and real time security: proceedings of the Ninth Annual Conference on Computer Assurance, June 27 - July 1, 1994, Gaithersburg, MD

Front Cover
Inst. of Electrical and Electronics Engineers, 1994 - 269 pages

From inside the book

What people are saying - Write a review

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

Contents

A Development of Hazard Analysis to Aid Software Design
17
Applying Formal Methods to the Traffic Alert and Collision Avoidance
39
Formal Methods and Dependability Assessment
53
Copyright

6 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information