direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Deductive Verification of Hybrid Control Systems modeled in Simulink with KeYmaera X
Zitatschlüssel Liebrenz2018
Autor Timm Liebrenz and Paula Herber and Sabine Glesner
Buchtitel International Conference on Formal Engineering Methods
Jahr 2018
ISSN 0302-9743
Verlag Springer
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe