Andreas Soderberg, Benjamin Vedder. Composable Safety-Critical Systems Based on Pre-certified Software Components. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 343-348, IEEE, 2012. [doi]
Abstract is missing.