Project Details
Person
Dr. Martin Zimmermann
Address
Universität des Saarlandes
Fachrichtung Informatik
Reactive Systems Group
Campus, Gebäude E1.1
66123 Saarbrücken
-
As Applicant
-
Completed projects
-
Tradeoffs in Controller Synthesis (TriCS) (Research Grants)
-
-
Completed projects
