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