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

Ewen Denney Ganesh Pai Josef Pohl

Published in: ICECCS (2012)

Keyphrases

xml documents
data model
co occurrence