direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Bit‐precise Formal Verification of Discrete‐Time MATLAB/Simulink Models using SMT Solving
Zitatschlüssel reicherdt13a
Autor Paula Herber and Robert Reicherdt and Patrick Bittner
Seiten 1-10
Jahr 2013
DOI http://dx.doi.org/10.1109/EMSOFT.2013.6658586
Journal International Conference on Embedded Software (EMSOFT'13)
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe