Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal
| Title: | Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal |
|---|---|
| Authors: | Denney, Ewen, Pai, Ganesh, Pohl, Josef |
| Source: | 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on. :199-208 Jul, 2012 |
| Relation: | 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9781467321563 9782954181004 |
|---|---|
| DOI: | 10.1109/ICECCS20050.2012.6299215 |
| Published in: | 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems, Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on |