Editorial Cuvillier

Publicaciones, tesis doctorales, capacitaciónes para acceder a una cátedra de universidad & prospectos.
Su editorial internacional especializado en ciencias y economia

Editorial Cuvillier

De En Es
MBMV 2014

Impresion
EUR 39,60 EUR 37,62

E-Book
EUR 0,00

Download
PDF (3,3 MB)
Open Access CC BY 4.0

MBMV 2014 (Tienda española)

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Dirk Allmendinger (Editor)
Matteo Michel (Editor)
Jürgen Ruf (Editor)

Previo

Lectura de prueba, PDF (140 KB)
Prologo, PDF (40 KB)
Indice, PDF (24 KB)

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.

ISBN-13 (Impresion) 9783954046379
ISBN-13 (E-Book) 9783736946378
Idioma Deutsch
Numero de paginas 222
Laminacion de la cubierta mate
Edicion 1. Aufl.
Lugar de publicacion Göttingen
Fecha de publicacion 18.02.2014
Clasificacion simple Proceeding
Area Informática
Ingeniería eléctrica
Palabras claves 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