Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, M. Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng. Is Current Incremental Safety Assurance Sound?. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Volume 9338 of Lecture Notes in Computer Science, pages 397-408, Springer, 2015. [doi]
Abstract is missing.