Der Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV2022)" ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren.
Ursprünglich war für diese 25. Ausgabe ein Treffen in Krefeld geplant, das nun pandemiebedingt durch eine Online-Veranstaltung ersetzt wurde. In vier Sessions werden unterschiedliche Beiträge diskutiert, wobei auch dieses Mal Gastvorträge aus dem industriellen Umfeld das Programm abrunden.
Reihe
Auflage
Sprache
Verlagsort
Maße
Höhe: 14 cm
Breite: 12.4 cm
Dateigröße
Gewicht
ISBN-13
978-3-8007-5754-1 (9783800757541)
Schweitzer Klassifikation
Herausgeber*in
Informationstechnische Gesellschaft im VDE (VDE ITG)
VDE/VDI Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (VDE/VDI GMM)
Gesellschaft für Informatik e.V. (GI)
