Torin Viger, Logan Murphy, Alessio Di Sandro, Ramy Shahin, Marsha Chechik. A Lean Approach to Building Valid Model-Based Safety Arguments. In 24th International Conference on Model Driven Engineering Languages and Systems, MODELS 2021, Fukuoka, Japan, October 10-15, 2021. pages 194-204, IEEE, 2021. [doi]
Abstract is missing.