Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Universität des Saarlandes
Fachrichtung Informatik
Reactive Systems Group

Address Campus, Gebäude E1.1
66123 Saarbrücken
Deutschland

GERiT This institution in GERiT

66123 Saarbrücken

Projects

Research Grants
- Completed projects
  - Tradeoffs in Controller Synthesis (TriCS)
    (Applicant Zimmermann, Martin )

© 2024 DFG Disclaimer / Copyright / Privacy Policy