Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Christian Haubelt, Jürgen Teich, "Digitale Hardware/Software-Systeme: Spezifikation und Verifikation"
Springer | 2010 | ISBN: 3642053556 | 601 pages | PDF | 5,1 MB
Springer | 2010 | ISBN: 3642053556 | 601 pages | PDF | 5,1 MB
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. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens.
Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.
Download
Not all books on AvaxHome appear on the homepage.
In order not to miss many of them follow ebooks section (see top of each page on AH)
and visit my blog too :)
In order not to miss many of them follow ebooks section (see top of each page on AH)
and visit my blog too :)
NO MIRRORS according to the rules