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

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

➜ MBMV 2025 – Homepage


Zurück zu allen Veranstaltungen