![](/img/cover-not-exists.png)
[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Bit-precise formal verification of discrete-time MATLAB/Simulink Models using SMT Solving
Herber, Paula, Reicherdt, Robert, Bittner, PatrickYear:
2013
Language:
english
DOI:
10.1109/emsoft.2013.6658586
File:
PDF, 460 KB
english, 2013