MBMV 2014

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

VDE

 

 

ITG

GMM

 GI

Der 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) wird vom deutschen IBM Forschungs- und Entwicklungszentrum ausgerichtet


Hier geht es zur IBM-Workshopseite


http://fg-rss-verify.gi.de/mbmv/home.html