direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Formal Verification of Discrete-Time MATLAB/Simulink Models using Boogie
Citation key reicherdt14
Author Robert Reicherdt and Sabine Glesner
Title of Book 12th International Conference on Software Engineering and Formal Methods
Pages 190-204
Year 2014
ISBN 978-3-319-10430-0
ISSN 978-3-319-10431-7
Location Cham
Journal Software Engineering and Formal Methods.
Number LNCS 8702
Publisher Springer
Series Software Engineering and Formal Methods. LNCS 8702
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions