Cuvillier Verlag
| Departments | |
|---|---|
| Book Series (90) |
1260
|
| Humanities |
2246
|
| Natural Sciences |
5309
|
| Mathematics | 223 |
| Informatics | 310 |
| Physics | 971 |
| Chemistry | 1346 |
| Geosciences | 130 |
| Human medicine | 241 |
| Stomatology | 10 |
| Veterinary medicine | 98 |
| Pharmacy | 147 |
| Biology | 812 |
| Biochemistry, molecular biology, gene technology | 114 |
| Biophysics | 25 |
| Domestic and nutritional science | 44 |
| Agricultural science | 992 |
| Forest science | 202 |
| Horticultural science | 18 |
| Environmental research, ecology and landscape conservation | 145 |
| Engineering |
1713
|
| Common |
91
|
|
Leitlinien Unfallchirurgie
5. Auflage bestellen |
|
Advanced Search
MBMV 2014 (English shop)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Dirk Allmendinger (Editor)Matteo Michel (Editor)
Jürgen Ruf (Editor)
Preview
Extract, PDF (140 KB)
Preface, PDF (40 KB)
Table of Contents, PDF (24 KB)
| ISBN-13 (Hard Copy) | 9783954046379 |
| ISBN-13 (eBook) | 9783736946378 |
| Language | Alemán |
| Page Number | 222 |
| Lamination of Cover | matt |
| Edition | 1. Aufl. |
| Publication Place | Göttingen |
| Publication Date | 2014-02-18 |
| General Categorization | Proceeding |
| Departments |
Informatics
Electrical engineering |
| Keywords | Nachrichten- und Kommunikationstechnik, Formale und semiformale Spezifikation und Modellierung, Entwurfsmethodik, Codesign (analog/digital, Hardware/Software), formale Verifikation (Äquivalenz- und Eigenschaftsbe-weise), Verifikation nicht-funktionaler Eigenschaften, simulationsbasierte Verifikation, Verifikation und Validierung hardwarenaher Software, Proceeding |
Description
Das vorliegende Buch ist eine Sammlung von Papieren der Workshops? Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen? (MBMV). Der Workshop ist bereits der siebzehnte gemeinsame Workshop 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 Feinmechanik (GMM). In diesem Jahr findet der Workshop erstmals im IBM Forschungs- und Entwicklungslabor in Böblingen statt. Die MBMV ist ein Forum um Trends, neuste Ergebnisse und aktuelle Probleme auf d em Gebiet der Methoden zur Modellierun und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Auch Aspekte des Entwurfs und Tests von hardwarenaher eingebetteter Software werden im Rahmen dieses Workshops beleuchtet.
