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)
ISBN 978-3-339-06201-7 (eBook)
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.