direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X
Citation key Liebrenz2018
Author Timm Liebrenz and Paula Herber and Sabine Glesner
Title of Book International Conference on Formal Engineering Methods
Year 2018
ISSN 0302-9743
Publisher Springer
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions