TY  - RPRT
TI  - Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study
AU  - Dejanira Araiza-Illan
AU  - Kerstin Eder
AU  - Arthur Richards
PY  - 2015
DO  - 10.1109/ecc.2015.7330941
UR  - https://arxiv.org/abs/1505.05699
ID  - 1505.05699
ER  -