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

Detailseite

Person

Druckansicht

Professor Antti Valmari

Adresse Tampere University of Technology
Department of Mathematics (aufgelöst)
Korkeakoulunkatu 1
33720 Tampere
Finnland

Projekte

Als Kooperationspartner
- abgeschlossene Projekte
  - Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik (Sachbeihilfen)

© 2024 DFG Kontakt / Impressum / Datenschutz