Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
Please note that the standard 14-day cancellation right terminates upon receiving access to the e-book.
Product description
Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verständnis der Verifikationsproblematik erforderlich. Das 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. Der Band dient als Nachschlagewerk für Entwickler und als Begleiter im Informatik- und Elektrotechnik-Studium.
Accessibility information
Select variation, to see accessibility information
Details
- ISBN13 9783642053566
- Released 2010
- Publisher Springer
- Format Elektronisk medie
- Language German