Haupt-Navigation

Software and Embedded Systems Engineering
Organization
Research
PhD Theses
Abschlussarbeiten
Academics and Teaching
Sie sind hier: Publications
Location
Jobs

Page Content

Publications

A Service-oriented Approach for Decomposing and Verifying Hybrid System Models
Citation key	Liebrenz2019
Author	Timm Liebrenz and Paula Herber and Sabine Glesner
Title of Book	International Conference on Formal Aspects of Component Software
Year	2019
Publisher	Springer

Download Bibtex entry [1]

Back [2]

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

[1] https://www.sese.tu-berlin.de/menue/publications/pa
rameter/en/maxhilfe/?no_cache=1&tx_sibibtex_pi1%5Bd
ownload_bibtex_uid%5D=4949639&tx_sibibtex_pi1%5Bcon
tentelement%5D=tt_content%3A328078

[2] https://www.sese.tu-berlin.de/menue/publications/pa
rameter/en/maxhilfe/