Title :
Table of contents
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;
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
DOI :
10.1109/HASE.2014.4
