Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128.

Barbara Gallina, Elena Gmez-Martnez, Clara Benac Earle

Browse the full SPICE paper archive.