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

Betriebssysteme, Verteilte Systeme - Habilitationen

 
Diplomarbeiten   Dissertationen   Habilitationen

Habilitationen


2005    

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

(Zusammenfassung - Volltext)

2001    

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

 
   
Autor: jp
 
  AG Betriebssysteme, Verteilte Systeme 
Zuletzt geändert am: 16. Oktober 2015   Impressum