Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle. Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. In Paul M. Clarke, Rory V. O'Connor, Terry Rout, Alec Dorling, editors, Software Process Improvement and Capability Determination - 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, Proceedings. Volume 609 of Communications in Computer and Information Science, pages 3-16, Springer, 2016. [doi]
Abstract is missing.