Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen von Brandt, Jens, Schneider, Klaus

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

,

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.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Beschreibungssprachen Codesgin Elektro-/Informationstechnik Formale Modellierung formale Verifikation Informatik Simulation Systementwurf
Produktinformationen

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen online kaufen

Die Publikation Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2012 von , ist bei Kovac, Dr. Verlag erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Beschreibungssprachen, Codesgin, Elektro-/Informationstechnik, Formale Modellierung, formale Verifikation, Informatik, Simulation, Systementwurf. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 78 EUR und in Österreich 80.2 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!