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)