Warenkorb
 

MBMV 2019

22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen"

MBMV ist der jährlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 und wurde 2019 vom 8.-9. April in Kaiserslautern organisiert.

Das Ziel des Workshops 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.

Der vorliegende Tagungsband ist eine ausgewählte Sammlung von 8 wissenschaftlichen Beiträgen und 8 weiteren Übersichtsvorträgen. Übersichtsvorträge berichten über bereits veröffentlichte Ergebnisse oder über noch unvollständige Arbeiten und werden als kurze Zusammenfassungen in diesem Tagungsband veröffentlicht. Wissenschaftliche Beiträge präsentieren neue Ergebnisse und werden zusätzlich als volle Beiträge in IEEE Xplore veröffentlicht.
… weiterlesen
  • Artikelbild-0
In den Warenkorb

Beschreibung

Produktdetails

Medium CD-ROM
Erscheinungsdatum 26.04.2019
Sprache Deutsch
EAN 9783800749454
Hersteller VDE
Software
Software
Fr. 78.90
Fr. 78.90
inkl. gesetzl. MwSt.
inkl. gesetzl. MwSt.
Versandfertig innert 1 - 2 Werktagen Versandkostenfrei
Versandfertig innert 1 - 2 Werktagen
Versandkostenfrei
In den Warenkorb
Vielen Dank für Ihr Feedback!
Entschuldigung, beim Absenden Ihres Feedbacks ist ein Fehler passiert. Bitte versuchen Sie es erneut.
Ihr Feedback zur Seite
Haben Sie alle relevanten Informationen erhalten?

Kundenbewertungen

Es wurden noch keine Bewertungen geschrieben.