Title :
Proceedings. Eighth IEEE International Symposium on High Assurance Systems Engineering
Abstract :
Presents the cover from the proceedings of this conference.
Keywords :
fault tolerant computing; formal verification; knowledge based systems; security of data; software reliability; systems analysis; systems engineering; dependable systems; design assurance; fault tolerant system analysis; fault tolerant system design; formal verification; high assurance systems engineering; knowledge-based system; model-based approaches; quantitative-based approaches; reliability modeling; secure systems; system level test methodologies; system verification;
Conference_Titel :
High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
Conference_Location :
Tampa, FL, USA
Print_ISBN :
0-7695-2094-4
DOI :
10.1109/HASE.2004.1281715
