Betriebssysteme, Verteilte Systeme - Habilitationen

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

(Zusammenfassung - Volltext)

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