Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin. Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. In Maria Virvou, Taichi Nakamura, editors, Knowledge-Based Software Engineering, Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering, JCKBSE 2008, August 25-28, 2008, University of Piraeus, Piraeus, Greece. Volume 180 of Frontiers in Artificial Intelligence and Applications, pages 405-414, IOS Press, 2008. [doi]
Abstract is missing.