Luís Silva Azevedo, David Parker 0002, Yiannis Papadopoulos, Martin Walker, Ioannis Sorokos, Rui Esteves Araujo. Exploring the Impact of Different Cost Heuristics in the Allocation of Safety Integrity Levels. In Frank Ortmeier, Antoine Rauzy, editors, Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings. Volume 8822 of Lecture Notes in Computer Science, pages 70-81, Springer, 2014. [doi]
Abstract is missing.