Tagungsband: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

Forschungsergebnisse zur Informatik, Band 68

Hamburg 2012, 218 Seiten
ISBN 978-3-8300-6201-1 (Print), ISBN 978-3-339-06201-7 (eBook)

Beschreibungssprachen, Codesgin, Elektro-/Informationstechnik, Formale Modellierung, Formale Verifikation, Informatik, Simulation, Systementwurf

Zum Inhalt

Der Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft „Rechnergestützter Schaltungs- und Systementwurf (RSS)“ der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro- und Feinwerktechnik (GMM). Ziel der Veranstaltung ist es, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren und Ideen auszutauschen.

Dieser Tagungsband enthält die Beiträge aller Autoren.



Informationen über das Veröffentlichen wissenschaftlicher Arbeiten.

nach oben