Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
Sommer 2024    Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language

Promotion

Correctness of services and their composition 

Grunddaten

Promovend Der Name ist ausschließlich für Nutzer sichtbar, die entweder bei LSF angemeldet sind oder aus dem Netzwerk der Universität Rostock zugreifen.
Akademischer Grad Dr.-Ing.
Promotionsgebiet Theorie der Programmierung
Verleihungsdatum 11.10.2010
Datum der mündlichen Prüfungsleistung 27.09.2010

Betreuer/Gutachter

Prof. Dr. Karsten Wolf, Universität Rostock Betreuer und Gutachter
Prof. Dr. Wil van der Aalst, Technische Universität Eindhoven, Niederlande Gutachter
Prof. Dr. Mathias Weske, Hasso-Plattner-Institut für Softwaresystemtechnik GmbH, Potsdam Gutachter

Einrichtung

Fakultät für Informatik und Elektrotechnik (IEF)

Publikationen

Correctness of services and their composition Druckschrift
Correctness of services and their composition Elektronische Ressource