Supporting the Automated Generation of Modular Product Line Safety Cases

André Luíz de Oliveira, Rosana T. V. Braga, Paulo César Masiero, Yiannis Papadopoulos, Ibrahim Habli, Tim Kelly. Supporting the Automated Generation of Modular Product Line Safety Cases. In Wojciech Zamojski, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak, Janusz Kacprzyk, editors, Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 - July 3 2015, Brunów, Poland. Volume 365 of Advances in Intelligent Systems and Computing, pages 319-330, Springer, 2015. [doi]

Abstract

Abstract is missing.