Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professor Antti Valmari

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

Projects

As Cooperation Partner
- Completed projects
  - Foundations of Heterogeneous Specifications Using State Machines and Temporal Logic (Research Grants)

© 2024 DFG Disclaimer / Copyright / Privacy Policy