Professor Dr. Norbert Müller
Adresse
Universität Trier
Fachbereich IV - Informatikwissenschaften
Behringstraße
54296 Trier
Projekte
Als Antragsteller
abgeschlossene Projekte
Vergleichende Analyse und Verifikation für Verteilte Sicherheitskritische Systeme (CAVER)
(Sachbeihilfen)
Wrapping-Darstellungen in Exakter Reeller Arithmetik (WERA)
(Sachbeihilfen)
Als Beteiligte Person
abgeschlossene Projekte
Quantitative uniforme Komplexitätstheorie mehrwertiger reeller Funktionen und Operatoren in Analysis
(Sachbeihilfen)