Research Group Operating Systems, Distributed Systems - Habilitation Theses

Dr. Jan Bredereke:
Maintaining Families of Rigorous Requirements for Embedded Software Systems.

(Abstract - full text)

Dr. Bettina Buth:
Formal and Semi-Formal Methods for the Analysis of Industrial Control Systems