Universität Bremen  
  Universität Bremen FB3 TZI BISS  
  AG BS > Betriebssysteme, Verteilte Systeme > Deutsch

Research Group Operating Systems, Distributed Systems - Habilitation Theses

Diploma Theses   Dissertation Theses   Habilitation Theses

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

Author: jp
  AG BS 
Last updated: October 16, 2015   Impressum