Title :
Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)
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;
Conference_Titel :
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location :
Washington, DC, USA
Print_ISBN :
0-8186-9221-9
DOI :
10.1109/HASE.1998.731583
