Deutsch Intern
  • MBMV 202629. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026)

Programm

Dienstag 17.03.2026

9:00 - 9:15 Begrüßung
9:15 - 10:15 Keynote 1
... ...

Mittwoch 18.03.2026

9:00 - 9:05 Begrüßung
9:05 - 10:05 Keynote 2
... ...