Hat mitgewirkt an:
-
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
-
Digitale Hardware-Software-Systeme : Spezifikation und Verifikation
-
Digitale Hardware, Software-Systeme : Synthese und Optimierung ; mit 14 Tabellen
-
Maßnahmen zur Steigerung der Zuverlässigkeit integrierter Schaltungen auf Gatterebene hinsichtlich Gateoxiddefekten