Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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 )

© 2024 DFG Kontakt / Impressum / Datenschutz