Formal Foundations for Hierarchical Safety Cases
| Title: | Formal Foundations for Hierarchical Safety Cases |
|---|---|
| Authors: | Denney, Ewen, Pai, Ganesh, Whiteside, Iain |
| Source: | 2015 IEEE 16th International Symposium on High Assurance Systems Engineering High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. :52-59 Jan, 2015 |
| Relation: | 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9781479981106 9781479981113 |
|---|---|
| ISSN: | 15302059 |
| DOI: | 10.1109/HASE.2015.17 |
| Published in: | 2015 IEEE 16th International Symposium on High Assurance Systems Engineering, High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on |