High-Assurance Systems Engineering Symposium (Hase '98), 3rd IEEE

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.

Gespeichert in:
1. Verfasser:
IEEE Staff (MitwirkendeR)
Körperschaft:
Institute of Electrical and Electronics Engineers
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
[Place of publication not identified] IEEE Computer Society Press 1998
Zusammenfassung:
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.
Umfang:
1 online resource (xii, 321 pages)
Anmerkungen:
Bibliographic Level Mode of Issuance: Monograph
Anmerkungen:
English
Schlagworte:
Systems engineering > Congresses.
Electronic data processing > Distributed processing > Congresses.
Bezugswerke: