Project Details
Person
Professor Dr. Heiko Krumm
Address
Technische Universität Dortmund
Fakultät für Informatik
Informatik IV - Lehrstuhl für praktische Informatik
August-Schmidt-Straße 12
44227 Dortmund
-
As Applicant
-
Completed projects
-
Modulare temporallogische Spezifikationen hybrider Systeme (Priority Programmes)
-
-
Completed projects
