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]

Authors

Torin Viger

This author has not been identified. Look up 'Torin Viger' in Google

Logan Murphy

This author has not been identified. Look up 'Logan Murphy' in Google

Alessio Di Sandro

This author has not been identified. Look up 'Alessio Di Sandro' in Google

Claudio Menghi

This author has not been identified. Look up 'Claudio Menghi' in Google

Ramy Shahin

This author has not been identified. Look up 'Ramy Shahin' in Google

Marsha Chechik

This author has not been identified. Look up 'Marsha Chechik' in Google