Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025)
57 57 people viewed this event.
The Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025) will be held in Warnemünde, Germany.
The event invites contributions from all research domains related to the following areas: Modelling, Specification, Verification, Hardware/Software Systems.
Please be reminded that the deadline for submitting your contribution is Jan 13, 2025.