Anjali Joshi, Mats Per Erik Heimdahl. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In Rune Winther, Bjørn Axel Gran, Gustav Dahll, editors, Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings. Volume 3688 of Lecture Notes in Computer Science, pages 122-135, Springer, 2005. [doi]
@inproceedings{JoshiH05,
title = {Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier},
author = {Anjali Joshi and Mats Per Erik Heimdahl},
year = {2005},
doi = {10.1007/11563228_10},
url = {http://dx.doi.org/10.1007/11563228_10},
tags = {rule-based, meta-model, analysis, Meta-Environment, design},
researchr = {https://researchr.org/publication/JoshiH05},
cites = {0},
citedby = {0},
pages = {122-135},
booktitle = {Computer Safety, Reliability, and Security, 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings},
editor = {Rune Winther and Bjørn Axel Gran and Gustav Dahll},
volume = {3688},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-29200-4},
}