DocumentCode
2747101
Title
Proceedings. Eighth IEEE International Symposium on High Assurance Systems Engineering
fYear
2004
fDate
25-26 March 2004
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
Conference_Location
Tampa, FL, USA
ISSN
1530-2059
Print_ISBN
0-7695-2094-4
Type
conf
DOI
10.1109/HASE.2004.1281715
Filename
1281715
Link To Document