Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (26. : 2023 : Freiburg im Breisgau) Bezüge im Wissensnetz Veranstaltungsort (1) GND Freiburg im Breisgau Homepage (1) GND veranstaltung-detailseite?id=21751&type=vde%7Cvdb Veranstalter oder Gastgeber (1) GND Informationstechnische Gesellschaft