Jens Brandt & Klaus Schneider (Hrsg.)
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 & 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.
