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

Detailseite

Institution

Druckansicht

Tampere University of Technology
Department of Mathematics (aufgelöst)

Adresse Korkeakoulunkatu 1
33720 Tampere
Finnland

33720 Tampere

Projekte

Sachbeihilfen
- abgeschlossene Projekte
  - Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
    (Antragsteller Lüttgen, Gerald )
  - Logic for Interaction (LINT)
    (Antragsteller Grädel, Erich )

© 2025 DFG Kontakt / Impressum / Datenschutz