30. WORKSHOP METHODEN UND BESCHREIBUNGSSPRACHEN ZUR MODELLIERUNG UND VERIFIKATION VON SCHALTUNGEN UND SYSTEMEN (MBMV 2027)
Der 30. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2027) findet vom 02.-03.03.2027 im Heinz Nixdorf Museumsforum in Paderborn statt. Der Workshop wird von der Fachgruppe Schaltungstechnik am Heinz Nixdorf Institut in Kooperation mit dem VDE organisiert.