Automating the Assembly of Aviation Safety Cases

Ewen Denney, Ganesh J. Pai. Automating the Assembly of Aviation Safety Cases. IEEE Transactions on Reliability, 63(4):830-849, 2014. [doi]

Abstract

Abstract is missing.