Yasmin I. Al-Zokari, Daniel Schneider, Dirk Zeckzer, Liliana Guzman, Yarden Livnat, Hans Hagen. Enhanced CakES representing Safety Analysis results of Embedded Systems. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Federated Conference on Computer Science and Information Systems - FedCSIS 2011, Szczecin, Poland, 18-21 September 2011, Proceedings. pages 783-790, 2011. [doi]
Abstract is missing.