Actions for High-Assurance Systems Engineering Symposium (Hase '98), 3rd IEEE [electronic resource]

Email RIS file
Bookmark
Report an Issue

High-Assurance Systems Engineering Symposium (Hase '98), 3rd IEEE [electronic resource]

Corporate Author
IEEE Staff
Published
Los Alamitos : IEEE Computer Society Press Nov. 1998
Physical Description
300 p. 27.000 x 021.000 cm.
Access Online

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
License restrictions may limit access.
Summary
Annotation 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
Genre(s)
ISBN
9780818692215
0818692219 (Trade Paper)
Audience Notes
Scholarly & Professional IEEE Computer Society Press
View MARC record | catkey: 20033011