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.
Schlagworte
Beschreibungssprachen Codesgin Elektro-/Informationstechnik Formale Modellierung Formale Verifikation Informatik Simulation SystementwurfIhr Werk im Verlag Dr. Kovač
Möchten Sie Ihre wissenschaftliche Arbeit publizieren? Erfahren Sie mehr über unsere günstigen Konditionen und unseren Service für Autorinnen und Autoren.