Ein formaler Ansatz zur Verifikation nichtlinearer dynamischer analoger Schaltungen

• Antragsteller: Professor Dr.-Ing. Erich Barke
• Fachliche Zuordnung: Elektronische Halbleiter, Bauelemente und Schaltungen, Integrierte Systeme, Sensorik, Theoretische Elektrotechnik
• Förderung: Förderung von 1996 bis 2001
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5266944

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen