Sonstiges, Deutsch, Englisch, 106 Seiten, Format (B × H): 124 mm x 140 mm, Gewicht: 58 g
Reihe: GMM-Fachberichte
Methoden und Beschreibungssprachen zur Modellierung und Verifikation vonSchaltungen und Systemen, GMM/ITG/GI-Workshop, 19. – 20. März 2020 inStuttgart
Sonstiges, Deutsch, Englisch, 106 Seiten, Format (B × H): 124 mm x 140 mm, Gewicht: 58 g
Reihe: GMM-Fachberichte
ISBN: 978-3-8007-5220-1
Verlag: VDE Verlag
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.