14. MBMV Workshop bei OFFIS

06.09.2010 Verkehr

Vom 21. - 23. Februar  2011 findet bei OFFIS der Workshop »Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen»statt. Der Workshop ist ein Forum, um Trends, neueste Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed Signal-Schaltungen zu diskutieren.  Der Austausch von Ideen ist ein wichtiges Anliegen dieses Workshops.

Der Call for Paper ist online - Sie finden ihn hier.