Title :
10th IEEE High Assurance Systems Engineering Symposium - Title page
Abstract :
The following topics are dealt with: system design; security assurance; distributed systems; high assurance embedded systems; fault tolerance; formal verification; software testing and formal validation.
Keywords :
distributed processing; embedded systems; formal verification; program testing; security of data; software fault tolerance; systems analysis; distributed system; embedded system; fault tolerance; formal validation; formal verification; security assurance; software testing; system design;
Conference_Titel :
High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE
Conference_Location :
Plano, TX
Print_ISBN :
978-0-7695-3043-7
DOI :
10.1109/HASE.2007.1
