Veranstaltungen

Juni 2018
M D M D F S S
28293031123
45678910
11121314151617
18192021222324
2526272829301

MBMV 2018

Der Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) ist der gemeinsame Workshop von:

VDE

 

 

ITG

GMM

 GI

Der 21. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2018) findet am 13.-14. März 2018 statt und wird von der Universität Tübingen unter der Leitung von Prof. Dr. Oliver Bringmann ausgerichtet.

 

Hier geht es zur Workshopseite.