Haupt-Navigation

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

Page Content

Publications

Service-oriented Design and Formal Verification of Hybrid Systems in the Medical Context
Citation key	Liebrenz2017d
Author	Timm Liebrenz
Title of Book	Proceedings of the 11th Joint Workshop of the German Research Training Groups in Computer Science
Pages	21
Year	2017

Link to original publication 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=1444349&tx_sibibtex_pi1%5Bcon
tentelement%5D=tt_content%3A328078

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