Detailseite
Person
Professor Dr. Reiner Hähnle
Adresse
Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstraße 10
64289 Darmstadt
- Als Antragsteller
- Als Beteiligte Person
- abgeschlossene Projekte
- Fully Automatic Logic-Based Information Flow Analysis (Schwerpunktprogramme)
-
- abgeschlossene Projekte
- Als Gastgeber
- abgeschlossene Projekte
-
Feature-orientierte Verifikation von Softwareproduktlinien (Forschungsstipendien)
-
- abgeschlossene Projekte
