Suchergebnis

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

• Koordinationsmechanismen für Teamarbeit Modellbildung und Datenbankunterstützung Dürr, Martin Als Ms. gedr., Düsseldorf : VDI-Verl., 1994

• 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

• Spezifikation und Synthese von arithmetischen Datenpfadkomponenten Brand, Hans-Jürgen Als Ms. gedr., Düsseldorf : VDI-Verl., 1994

• Spezifikation von Benutzerschnittstellen Konstruktion konfigurierbarer und konsistenter Benutzerschnittstellen Neumann, Dieter Als Ms. gedr., Düsseldorf : VDI-Verl., 1996

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