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

Research Group Operating Systems, Distributed Systems - Habilitation Theses

 
Diploma Theses   Dissertation Theses   Habilitation Theses

Habilitation Theses


2005    

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

(Abstract - full text)

2001    

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