The ForeMoSt approach to building valid model-based safety arguments

Torin Viger, Logan Murphy, Alessio Di Sandro, Claudio Menghi, Ramy Shahin, Marsha Chechik. The ForeMoSt approach to building valid model-based safety arguments. Software and Systems Modeling, 22(5):1473-1494, October 2023. [doi]

Abstract

Abstract is missing.