29. MBMV-Workshop 2026 in Würzburg Modellierung und Verifikation von Schaltungen und Systemen
27.03.2026
Der 29. Workshop »Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen« (MBMV) fand am 17. und 18. März 2026 an der Julius-Maximilians-Universität Würzburg statt. Über 30 Teilnehmende aus Wissenschaft und Industrie nutzten die zweitägige Veranstaltung, um aktuelle Forschungsarbeiten vorzustellen und gemeinsam zu diskutieren.
Mehr