Lehrstuhl Entwicklung Cyber-Physikalischer Systeme

Veranstaltungen der RSS Fachgruppe 4

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 22. Workshop findet vom 08.04.2019 - 09.04.2019 in Kaiserslautern statt. 

Call for Papers, Tagungsseite.

Call for Papers (english). 

 

Liste der letzten MBMV-Workshops: 

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

Zum Seitenanfang