ExplicitCase: Integrated Model-Based Development of System and Safety Cases.

Carmen Crlan, Simon Barner, Alexander Diewald, Alexandros Tsalidis, Sebastian Voss

Browse the full SAFECOMP paper archive.