| emsoft | participants

Paula Herber

EMSOFT 2013: 13th International Conference on Embedded Software

Bit-Precise Formal Verification of Discrete-Time MATLAB/Simulink Models using SMT Solving

Paula Herber, Robert Reicherdt, and Patrick Bittner