29. MBMV-Workshop 2026 in Würzburg Modellierung und Verifikation von Schaltungen und Systemen
03/27/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.
more