Project Details
Projekt
Formale Entwurfs- und Verifikationsverfahren (C 2)
Subject Area
Computer Architecture, Embedded and Massively Parallel Systems
Term
from 1992 to 1998
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5478635
No abstract available
DFG Programme
Collaborative Research Centres
Subproject of
SFB 358:
System Design Automation - Synthesis - Test - Verification - Dedicated Applications
Co-Applicant Institution
Karlsruher Institut für Technologie (KIT)
Campus Süd (aufgelöst)
Campus Süd (aufgelöst)
Applicant Institution
Technische Universität Dresden
Project Head
Professor Dr.-Ing. Detlef Schmid (†)
