Deutsch
Index A-Z
Desktop
Data Privacy
Software and Embedded Systems Engineering
Timm Liebrenz
Page Content
to Navigation
Timm Liebrenz, M. Sc.
© privat
Activities in Programme Committees
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
Research
Service-Oriented Design and Verification
Projects
Service-oriented Architectures
hybrid systems
formal verification
Service-oriented Architectures for the Integration of Software-based Processes, exemplified by Health Care Systems and Medical Technology (SOAMED)
Reliable Embedded System design based on Co-verification in a Unified Environment (RESCUE)
Publications