Project Details
Person
Professor Dr.-Ing. Detlef Schmid (†)
-
As Applicant
-
Completed projects
-
Entwicklung einer Methodik zur Formalen Synthese (Research Grants)
-
Leistungs- und Energiebeschränkung im Selbsttest (Priority Programmes)
-
Verifikation von eingebetteten Systemen (Priority Programmes)
-
Verifikation von eingebetteten Systemen (Research Grants)
-
-
Completed projects
-
As Project Head
-
Completed projects
-
Formale Entwurfs- und Verifikationsverfahren (Collaborative Research Centres)
-
-
Completed projects
