DocumentCode
695090
Title
Table of contents
fYear
2015
fDate
8-10 Jan. 2015
Abstract
The following topics are dealt with: high assurance systems engineering; system verification; safety-critical system; software architecture; and formal modeling.
Keywords
formal specification; program verification; safety-critical software; software architecture; systems engineering; formal modeling; high assurance systems engineering; safety-critical system; software architecture; system verification;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on
Conference_Location
Daytona Beach Shores, FL
Print_ISBN
978-1-4799-8110-6
Type
conf
DOI
10.1109/HASE.2015.8
Filename
7027403
Link To Document