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     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node2  Trennstrich  Switch to english language
Studentisches Leben Veranstaltungen Einrichtungen Räume und Gebäude Personen Forschung

Promotion

An Integrated Formal Task Specification Method for Smart Environments 

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 Softwaretechnik
Verleihungsdatum 11.07.2011
Datum der mündlichen Prüfungsleistung 29.06.2011

Betreuer/Gutachter

Prof. Dr. Peter Forbrig, Universität Rostock Betreuer und Gutachter
Prof. Dr. Thomas Kirste, Universität Rostock Gutachter
Prof. Dr. Jean Vanderdonckt, Université catholique de Louvain, Belgien Gutachter

Einrichtung

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

Publikationen

An integrated formal task specification method for smart environments Druckschrift
An integrated formal task specification method for smart environments Elektronische Ressource