21. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
13. - 14. März 2018, Tübingen

Programm veröffentlicht

Wir freuen uns über Ihre Einreichung und sehen uns im März in Tübingen um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed-Signal-Systeme zu diskutieren.

Programm Herunterladen

Termine

  • Deadline

    21. Dez 2017

  • Benachrichtigung

    5. Feb 2018

  • Camera Ready

    21. Feb 2018

Organisation

Prof. Dr. Oliver Bringmann
Universität Tübingen

Programmkomitee »

Tagungsort

Museumsgesellschaft Tübingen e. V.
Wilhelmstraße 3
72074 Tübingen


Anfahrt »