Entwurf komplexer Digitalsysteme mit unvollständiger Spezifikation (C 4)

• Subject Area: Computer Science
• Term: from 1997 to 2000
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5480280

No abstract available

• DFG Programme: Collaborative Research Centres
• Subproject of: SFB 420: Flugmesstechnik - Modellierung dynamischer Systeme
• Applicant Institution: Technische Universität Braunschweig
• Project Head: Professor Dr.-Ing. Rolf Ernst