direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Bit‐precise Formal Verification of Discrete‐Time MATLAB/Simulink Models using SMT Solving
Citation key reicherdt13a
Author Paula Herber and Robert Reicherdt and Patrick Bittner
Pages 1-10
Year 2013
DOI http://dx.doi.org/10.1109/EMSOFT.2013.6658586
Journal International Conference on Embedded Software (EMSOFT'13)
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe