Title :
Ninth IEEE International Symposium on High-Assurance Systems Engineering
Abstract :
HASE is confronted with the rapid development and increasing complexity of both software and hardware systems that impose tremendous challenges to systems engineers, in particular to the engineering of high assurance systems. This conference addresses some of these challenges. Special attention is paid to hard- and software testing, hardware verification and fault tolerant hard and software architectures.
Keywords :
fault tolerant computing; software engineering; fault tolerant hardware architectures; fault tolerant software architectures; hardware testing; hardware verification; high assurance systems engineering; software testing;
Conference_Titel :
High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on
Conference_Location :
Heidelberg, Germany
Print_ISBN :
0-7695-2377-3
DOI :
10.1109/HASE.2005.14
