direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe