Home » High Assurance Systems Engineering (Hase 99) 4th IEEE International by Institute of Electrical and Electronics Engineers
High Assurance Systems Engineering (Hase 99) 4th IEEE International Institute of Electrical and Electronics Engineers

High Assurance Systems Engineering (Hase 99) 4th IEEE International

Institute of Electrical and Electronics Engineers

Published December 1st 1999
ISBN : 9780769504209
Paperback
300 pages
Enter the sum

 About the Book 

This collection of papers explores high-assurance systems engineering. Topics covered include formal/analytic methods for dependability, reliability modeling, survivability and security, formal methods, design for high assurance, fault analysis andMoreThis collection of papers explores high-assurance systems engineering. Topics covered include formal/analytic methods for dependability, reliability modeling, survivability and security, formal methods, design for high assurance, fault analysis and prediction, and systems testing.