Zur Hauptnavigation / To main navigation

Zur Sekundärnavigation / To secondary navigation

Zum Inhalt dieser Seite / To the content of this page

Sekundärnavigation / Secondary navigation

Inhaltsbereich / Content

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.