DocumentCode
2400543
Title
10th IEEE High Assurance Systems Engineering Symposium - Title page
fYear
2007
fDate
14-16 Nov. 2007
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering Symposium, 2007. HASE '07. 10th IEEE
Conference_Location
Plano, TX
ISSN
1530-2059
Print_ISBN
978-0-7695-3043-7
Type
conf
DOI
10.1109/HASE.2007.1
Filename
4404714
Link To Document