| 書目名稱 | Digitale Hardware/Software-Systeme |
| 副標(biāo)題 | Spezifikation und Ve |
| 編輯 | Christian Haubelt,Jürgen Teich |
| 視頻video | http://file.papertrans.cn/281/280009/280009.mp4 |
| 概述 | Einziges Lehrbuch, das die Verzahnung der Verifikation von Hardware und Hardware-naher Software beschreibt.Wertvolles Referenz- und Nachschlagewerk sowohl für Forscher als auch für Entwickler eingebet |
| 叢書名稱 | eXamen.press |
| 圖書封面 |  |
| 描述 | .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.. |
| 出版日期 | Textbook 2010 |
| 關(guān)鍵詞 | Elektrotechnik; Erfüllbarkeitsproblem der Aussagenlogik; Hardware; Hardware-Software-Verifikation; Infor |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-642-05356-6 |
| isbn_softcover | 978-3-642-05355-9 |
| isbn_ebook | 978-3-642-05356-6Series ISSN 1614-5216 |
| issn_series | 1614-5216 |
| copyright | Springer-Verlag Berlin Heidelberg 2010 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 13:42
發(fā)表于 2025-3-21 18:10:44
