Verifikation von eingebetteten Systemen

• Applicant: Professor Dr.-Ing. Detlef Schmid (†)
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 1997 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5370928

No abstract available

• DFG Programme: Priority Programmes
• Subproject of: SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme