GMM-Fb. 96: MBMV 2020

GMM-Fb. 96: MBMV 2020

Methoden und Beschreibungssprachen zur Modellierung und Verifikation vonSchaltungen und Systemen, GMM/ITG/GI-Workshop, 19. – 20. März 2020 inStuttgart

MBMV ist der jahrlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 (Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme) und 4 (Beschreibungssprachen und Modellierung von Schaltungen und Systemen) der Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf (RSS).
Das Ziel der Fachtagung besteht darin, Experten aus Industrie und Forschung zusammenzubringen, um gemeinsam neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen zu diskutieren.
Wissenschaftliche Beitrage prasentieren neue Ergebnisse und werden zusatzlich, sofern sie in englischer Sprache vorliegen, in IEEE Xplore veroffentlicht.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Echtzeitsysteme formale Verifikation Modellierung Optimierung Schaltungen und Systeme Simulation Synthese
Produktinformationen

GMM-Fb. 96: MBMV 2020 online kaufen

Die Publikation GMM-Fb. 96: MBMV 2020 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation vonSchaltungen und Systemen, GMM/ITG/GI-Workshop, 19. – 20. März 2020 inStuttgart von ist bei VDE VERLAG erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Echtzeitsysteme, formale Verifikation, Modellierung, Optimierung, Schaltungen und Systeme, Simulation, Synthese. 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 61 EUR und in Österreich 61 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!