View in EDS HTML Full Text PDF Full Text

The ForeMoSt approach to building valid model-based safety arguments.

Saved in:

Bibliographic Details
Title:	The ForeMoSt approach to building valid model-based safety arguments.
Authors:	Viger, Torin¹, torinviger@cs.toronto.edu, Murphy, Logan¹, Di Sandro, Alessio¹, Menghi, Claudio², Shahin, Ramy¹, Chechik, Marsha¹
Source:	Software & Systems Modeling; Oct2023, Vol. 22 Issue 5, p1473-1494, 22p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	16191366
DOI:	10.1007/s10270-022-01063-4