direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie
Zitatschlüssel reicherdt14
Autor Robert Reicherdt and Sabine Glesner
Buchtitel 12th International Conference on Software Engineering and Formal Methods
Seiten 190-204
Jahr 2014
ISBN 978-3-319-10430-0
ISSN 978-3-319-10431-7
Ort Cham
Journal Software Engineering and Formal Methods.
Nummer LNCS 8702
Verlag Springer
Serie Software Engineering and Formal Methods. LNCS 8702
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe