Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation [German]

By Jürgen Teich and Christian Haubelt

Eingebettete Systeme sind aus unserem t glichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, ber Hardware- und Softwaregrenzen hinausgehendes Verst ndnis der Verifikationsproblematik erforderlich.

Das vorliegende Lehrbuch dient als Einf hrung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation f r Hard- und Software beschrieben.

• Format: Paperback
• Language: German
• ISBN: 3642053556
• ISBN13: 9783642053559
• Release Date: June 2010
• Publisher: Springer
• Length: 601 Pages
• Weight: 1.86 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"