25th Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen – MBMV 2025 (11.-12.03.2025)

IEF Forschung,IEF Homepage
Die Veranstaltung findet im Rostocker Ortsteil Ostseebad Warnemünde statt. © Foto: Universität Rostock

in Rostock – Warnemünde, organisiert vom Institut für Angewandte Mikroelektronik und Datentechnik

Kontakt am IMD: Prof. Dr.-Ing. habil. Christian Haubelt, Dr.-Ing. Florian Grützmacher

➜ MBMV 2025 – Homepage

Back to Eventlist