TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


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


Quick Access

Schnellnavigation zur Seite über Nummerneingabe