Direkt zum Inhalt
MBMV2014. 10.-12. März 2014. IBM Deutschland Forschung & Entwicklung. Jetzt anmelden und mitmachen!

Veranstalter

Der 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen wird von folgenden Gruppen veranstaltet:

VDE   GI   ITG

GMM
 
forderer der informatik an der tu kaiserslautern

Wissenschaftliche und organisatorische Leitung

Jetzt anmelden und mitmachen!

Melden Sie sich bis zum 14. Februar zu vergünstigten Konditionen an

Termin und Lokation

10.-12. März 2014

IBM Deutschland Forschung & Entwicklung
Schönaicher Straße 220
71032 Böblingen

Historie

Gesellschaft für Informatik

Fachgruppe Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme

Ansprechpartner


Dirk Allmendinger
Jürgen Ruf