Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme Bezüge im Wissensnetz Administrative Überordnung der Körperschaft (3) GND-Körperschaften Gesellschaft für Informatik Informationstechnische Gesellschaft Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf Isb (1) DNB-Titeldaten Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen