A Lean Approach to Building Valid Model-Based Safety Arguments.

Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik

Browse the full MODELS paper archive.