English
Index A-Z
Desktop
Datenschutz
Software and Embedded Systems Engineering
Timm Liebrenz
Inhalt des Dokuments
zur Navigation
Timm Liebrenz, M. Sc.
© privat
Tätigkeiten in Programmkomitees
6th Track on Validation of Safety critical Collaboration systems (VSC) in 27th IEEE International Conference WETICE-2018
7th Track on Validation of Safety critical Collaboration systems (VSC) in 28th IEEE International Conference WETICE-2019
Forschung
Service-Oriented Design and Verification
Arbeitsgebiet
Service-orientierte Architekturen
Hybride Systeme
Formale Verifikation
Graduiertenkolleg: Serviceorientierte Architekturen zur Integration softwaregestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik (SOAMED)
Reliable Embedded System design based on Co-verification in a Unified Environment (RESCUE)
Veröffentlichungen
