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