Nuanced term-matching to assist in compositional safety assurance

Katrina Attwood, Philippa Conmy. Nuanced term-matching to assist in compositional safety assurance. In Ewen Denney, Ibrahim Habli, Tim Kelly, John C. Knight, Ganesh Pai, editors, Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE '13, San Francisco, California, USA, May 19, 2013. pages 18-23, IEEE, 2013. [doi]