Willkommen, schön sind Sie da!
Logo Ex Libris

13. Workshop MBMV10

  • Kartonierter Einband
  • 248 Seiten
Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikati... Weiterlesen
20%
60.90 CHF 48.70
Print on demand - Exemplar wird für Sie besorgt.

Beschreibung

Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert: Formale und semiformale Spezifikation und Modellierung; Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik; Entwurfsmethodik und -wiederverwendung; Syntheseverfahren, Co-Design; Schaltungen und Systeme in sicherheitsrelevanten Produkten; Verifikation nicht funktionaler Eigenschaften; Simulationsbasierte Verifikation.

Autorentext
Dr. Manfred Dietrich leitet die Abteilung Mikroelektronische Systeme am Fraunhofer Institut, Institutsteil Entwurfsautomatisierung, in Dresden. Seit Jahren ist diese Abteilung in verschiedenen Industrie- und Förderprojekten auf dem Gebiet des 3D-Entwurfs integriert; sie arbeitet also aktiv an vorderster Stelle auf diesem neuen Arbeitsfeld mit.

Produktinformationen

Titel: 13. Workshop MBMV10
Untertitel: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Editor:
EAN: 9783839601037
ISBN: 978-3-8396-0103-7
Format: Kartonierter Einband
Hersteller: Fraunhofer Irb Stuttgart
Genre: Politikwissenschaft
Anzahl Seiten: 248
Gewicht: 345g
Größe: H210mm x B210mm
Jahr: 2010
Zuletzt angesehen
Verlauf löschen