Detailseite
Person
Professor Dr. Heiko Krumm
Adresse
Technische Universität Dortmund
Fakultät für Informatik
Informatik IV - Lehrstuhl für praktische Informatik
August-Schmidt-Straße 12
44227 Dortmund
-
Als Antragsteller
-
abgeschlossene Projekte
-
Modulare temporallogische Spezifikationen hybrider Systeme (Schwerpunktprogramme)
-
-
abgeschlossene Projekte
