Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models

Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue

Published: 2013, Last Modified: 16 May 2024MBEES 2013EveryoneRevisionsBibTeXCC BY-SA 4.0