Der 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025) wird vom Institut für Angewandte Mikroelektronik und Datentechnik der Universität Rostock und dem VDE - Verband der Elektrotechnik Elektronik Informationstechnik e.V. ausgerichtet. Er findet in den Veranstaltungsräumen des Leibniz-Institut für Ostseeforschung Warnemünde (IOW) statt.

• VDE ITG Website MBMV 2025

• Der Call for Papers ist online

• MBMV2024
• MBMV2023 
• MBMV@DBLP