Professor Dr. Gerald Lüttgen

Adresse Otto-Friedrich-Universität Bamberg
Fakultät Wirtschaftsinformatik und Angewandte Informatik
Lehrstuhl Softwaretechnik und Programmiersprachen
An der Weberei 5
96047 Bamberg

Projekte

Als Antragsteller
- abgeschlossene Projekte
  - Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik (Sachbeihilfen)
  - DSI2: Identifizieren dynamischer Datenstrukturen durch Beobachtung von Programmabläufen (Sachbeihilfen)