DocumentCode
2361817
Title
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)
fYear
1998
fDate
13-14 Nov. 1998
Abstract
The following topics were dealt with: high-assurance systems engineering: formal and analytical methods for dependability; reliability modelling; survivability and security; design for high assurance; fault analysis and prediction; high-assurance system testing and analysis; and intelligent systems
Keywords
fault diagnosis; formal specification; formal verification; knowledge based systems; security of data; software reliability; testing; analytical methods; dependability; fault analysis; fault prediction; formal methods; high assurance design; high-assurance system analysis; high-assurance system testing; high-assurance systems engineering; intelligent systems; reliability modelling; security; survivability;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location
Washington, DC, USA
Print_ISBN
0-8186-9221-9
Type
conf
DOI
10.1109/HASE.1998.731583
Filename
731583
Link To Document