Suchergebnis

• Ansätze zur formalen Verifikation analoger Schaltungen Hedrich, Lars Als Ms. gedr., Düsseldorf : VDI-Verl., 1997

• Methode der Referenzimplementierung von Spezifikationen paralleler Busschnittstellen Qian, Li Als Ms. gedr., Düsseldorf : VDI-Verl., 1994

• Eine Methode zur formalen Verifikation von RISC-Prozessen Tahar, Sofiène Als Ms. gedr., Düsseldorf : VDI-Verl., 1995

• Praxis der rechnergestützten Implementierung von Kommunikationsprotokollen Held, Thomas Als Ms. gedr., Düsseldorf : VDI-Verl., 1995

• Synthese von Kommunikationsprozessoren aus Spezifikationen in Form von Impulsdiagrammen Tiedemann, Wolf-Dieter Als Ms. gedr., Düsseldorf : VDI-Verl., 1996