From Conceptual Models to Safety Assurance

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers. From Conceptual Models to Safety Assurance. In Eric S. K. Yu, Gillian Dobbie, Matthias Jarke, Sandeep Purao, editors, Conceptual Modeling - 33rd International Conference, ER 2014, Atlanta, GA, USA, October 27-29, 2014. Proceedings. Volume 8824 of Lecture Notes in Computer Science, pages 195-208, Springer, 2014. [doi]

Abstract

Abstract is missing.