Detailseite
Person
Professor Dr.-Ing. Detlef Schmid (†)
-
Als Antragsteller
-
abgeschlossene Projekte
-
Entwicklung einer Methodik zur Formalen Synthese (Sachbeihilfen)
-
Leistungs- und Energiebeschränkung im Selbsttest (Schwerpunktprogramme)
-
Verifikation von eingebetteten Systemen (Schwerpunktprogramme)
-
Verifikation von eingebetteten Systemen (Sachbeihilfen)
-
-
abgeschlossene Projekte
-
Als Teilprojektleiter
-
abgeschlossene Projekte
-
Formale Entwurfs- und Verifikationsverfahren (Sonderforschungsbereiche)
-
-
abgeschlossene Projekte
