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.

 

Termine

Call for Paper

07. November 2010:

Einreichung der Beiträge

10. Dezember 2010:

Benachrichtigung der Autoren

07. Januar 2011:

Druckfertige Version

Weitere Informationen zum Workshop finden Sie hier.