DocumentCode
258340
Title
Table of contents
fYear
2014
fDate
9-11 Jan. 2014
Abstract
The following topics are dealt with: high-assurance systems engineering; security of data; fault analysis; software testing; formal methods; software reliability; software safety; data privacy; and model analysis.
Keywords
data privacy; failure analysis; program testing; software reliability; systems engineering; data privacy; fault analysis; formal methods; high-assurance systems engineering; model analysis; security of data; software reliability; software safety; software testing;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering (HASE), 2014 IEEE 15th International Symposium on
Conference_Location
Miami Beach, FL
Print_ISBN
978-1-4799-3465-2
Type
conf
DOI
10.1109/HASE.2014.4
Filename
6754574
Link To Document