Haupt-Navigation

Software and Embedded Systems Engineering
Über uns
Forschung
Abgeschlossene Promotionen
Abschlussarbeiten
Studium und Lehre
Sie sind hier: Publikationen
Standort
Jobs

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 [1] Download Bibtex Eintrag [2]

Zurück [3]

------ Links: ------

[1] https://link.springer.com/chapter/10.1007/978-3-030
-02450-5_6

[2] https://www.sese.tu-berlin.de/menue/publikationen/?
no_cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D
=1788139&tx_sibibtex_pi1%5Bcontentelement%5D=tt_con
tent%3A210839

[3] https://www.sese.tu-berlin.de/menue/publikationen/

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Hilfsfunktionen

Hilfsfunktionen einblenden

Suchfunktion