Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier.

Anjali Joshi, Mats Per Erik Heimdahl

Browse the full SAFECOMP paper archive.