Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal.

Ewen Denney, Ganesh Pai, Josef Pohl

Browse the full ICECCS paper archive.