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