TU Berlin

Software and Embedded Systems EngineeringPublikationen

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Publikationen

Service-oriented Design and Formal Verification of Hybrid Systems in the Medical Context
Zitatschlüssel Liebrenz2017d
Autor Timm Liebrenz
Buchtitel Proceedings of the 11th Joint Workshop of the German Research Training Groups in Computer Science
Seiten 21
Jahr 2017
Link zur Originalpublikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe