Otto-Friedrich-Universität Bamberg
Fakultät Wirtschaftsinformatik und Angewandte Informatik
Lehrstuhl Softwaretechnik und Programmiersprachen
Adresse
An der Weberei 5
96047 Bamberg
Deutschland
GERiT
Diese Institution in GERiT
96047 Bamberg
Projekte
Sachbeihilfen
abgeschlossene Projekte
DSI2: Identifizieren dynamischer Datenstrukturen durch Beobachtung von Programmabläufen
(Antragsteller
Lüttgen, Gerald
)
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
(Antragsteller
Lüttgen, Gerald
)