Intern
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
... ...