Co-Program Chair des GMM/ITG/GI-Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) (Event)

Activity: Membership/FunctionProgram committee

Period23 Mar 202324 Mar 2023
Event titleCo-Program Chair des GMM/ITG/GI-Workshops Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
Event typeOther
LocationGermanyShow on map

Fields of science

  • 202017 Embedded systems
  • 202005 Computer architecture
  • 102005 Computer aided design (CAD)
  • 102 Computer Sciences
  • 102011 Formal languages
  • 101018 Statistics

JKU Focus areas

  • Digital Transformation