|
[GMS+12]
Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri and Edson Watanabe.
Constructive model-based analysis for safety assessment.
International Journal on Software Tools for Technology Transfer (STTT).
2012.
[Uses PRISM in a quantitative safety assessment framework via model translation from Simulink.]
|
|
Links:
[Google]
[Google Scholar]
|