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

Autor:	Viger, Torin1 (AUTHOR) torinviger@cs.toronto.edu, Murphy, Logan1 (AUTHOR), Di Sandro, Alessio1 (AUTHOR), Menghi, Claudio2 (AUTHOR), Shahin, Ramy1 (AUTHOR), Chechik, Marsha1 (AUTHOR)
Zdroj:	Software & Systems Modeling. Oct2023, Vol. 22 Issue 5, p1473-1494. 22p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.