![](/img/cover-not-exists.png)
[IEEE 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS) - Paris (2012.7.18-2012.7.20)] 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems - Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal
Denney, Ewen, Pai, Ganesh, Pohl, JosefYear:
2012
DOI:
10.1109/iceccs20050.2012.6299215
File:
PDF, 548 KB
2012