MBMV 2019
22. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
Seiten
2019
|
1. Neuerscheinung
VDE VERLAG (Hersteller)
978-3-8007-4945-4 (ISBN)
VDE VERLAG (Hersteller)
978-3-8007-4945-4 (ISBN)
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.
Herausgeber: Prof. Dr. Christoph Grimm, Technische Universität Kaiserslautern Prof. Dr. Klaus Schneider, Technische Universität Kaiserslautern Dr.-Ing. Carna Zivkovic, Technische Universität Kaiserslautern
| Erscheint lt. Verlag | 26.4.2019 |
|---|---|
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 124 x 140 mm |
| Gewicht | 56 g |
| Themenwelt | Technik ► Elektrotechnik / Energietechnik |
| Schlagworte | Hardware Design • HW/SW-Systeme • Majority-Inverter-Graph • Schaltungen • Schaltungen und Systeme • Systeme • System of Systems |
| ISBN-10 | 3-8007-4945-9 / 3800749459 |
| ISBN-13 | 978-3-8007-4945-4 / 9783800749454 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
