Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2022 (Veranstaltung)

Aktivität: Mitgliedschaft/Funktion › Programm-Komitee

Beschreibung

Der 25. Workshop der GMM/ITG/GI-Fachgruppen 3/ 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren.
Zeitraum17 Feb. 2022 → 18 Feb. 2022
EreignistitelITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2022
VeranstaltungstypKonferenz
OrtKrefeld, DeutschlandAuf Karte anzeigen

Wissenschaftszweige

  • 202017 Embedded Systems
  • 202005 Computer Architektur
  • 102005 Computer Aided Design (CAD)
  • 102 Informatik
  • 102011 Formale Sprachen

JKU-Schwerpunkte

  • Digital Transformation

Dokumente & Verweise