Detailseite
Person
Professor Dr. Karsten Wolf
Adresse
Universität Rostock
Fakultät für Informatik und Elektrotechnik
Institut für Informatik
Albert-Einstein-Straße 22
18059 Rostock
-
Als Antragsteller
-
abgeschlossene Projekte
-
Automatische Generierung von Bedienungsanleitungen für Services (Sachbeihilfen) -
Automatische Synthese von Verhaltensadaptern zwischen Services (Sachbeihilfen)
-
Strukturelle Analysetechniken für Petrinetze (Sachbeihilfen)
-
WS4Dsec - Reliably Secure Web Services for Devices (Schwerpunktprogramme)
-
Synthese von Petrinetzen auf der Basis der Union/Find-Verfahren (Sachbeihilfen)
-
-
abgeschlossene Projekte
