Die RSS-Fachgruppe 4 veranstaltet jedes Jahr gemeinsam mit der RSS Fachgruppe 3 den Workshop 

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Der 23. Workshop findet vom 19.03.2020 - 20.03.2020 in Stuttgart statt. 

Termine

Einreichungsfrist: 6.12.2019

Benachrichtigung der Autoren: 20.01.2020

Einreichung der finalen Beiträge: 10.02.2020

URL mit Call for Papers: www.vde.com/de/veranstaltungen/veranstaltungsuebersicht/veranstaltung-detailseite

Liste der letzten MBMV-Workshops: 

Der 22. Workshop fand im Frühjahr 2019 in Kaiserslautern statt.

Der 21. Workshop fand im Frühjahr 2018 in Tübingen statt.