ITG-Fb. 302: MBMV 2022

Beschreibung

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.

Autor*in

Informationstechnische Gesellschaft im VDE (VDE ITG) VDE/VDI Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (VDE/VDI GMM) Gesellschaft für Informatik e.V. (GI)

Themen in »ITG-Fb. 302: MBMV 2022«

Echtzeitsysteme Formale Verifikation KI-basierte Modelle Machine Learning Modellierung Modellierungssprache Optimierung Schaltungen und Systeme Simulation Synthese Verhaltensmodellierung sicherheitsrelevante Produkte

Stimmen zu »ITG-Fb. 302: MBMV 2022«

Details

Link teilen