Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (27. : 2024 : Kaiserslautern) Bezüge im Wissensnetz Veranstalter oder Gastgeber (3) GND Gesellschaft für Informatik Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik Informationstechnische Gesellschaft Veranstaltungsort (1) GND Kaiserslautern