| 書目名稱 | Global Specification and Validation of Embedded Systems |
| 副標(biāo)題 | Integrating Heteroge |
| 編輯 | G. Nicolescu,A. A. Jerraya |
| 視頻video | http://file.papertrans.cn/387/386595/386595.mp4 |
| 概述 | Offers a deep understanding of concepts and practices behind the composition of heterogeneous components.Introduces a systematic approach to build an execution model for systems composed of heterogene |
| 圖書封面 |  |
| 描述 | .Global Specification and Validation of Embedded Systems. offers a deep understanding of concepts and practices behind the composition of heterogeneous components. After the analysis of existing computation and execution models used for the specification and validation of different sub-systems, the book introduces a systematic approach to build an execution model for systems composed of heterogeneous components. Mixed continuous/discrete and hardware/software systems will be used to illustrate these concepts. The benefit of reading this book is to give a clear vision on the theory and practice of specification and validation of complex modern systems. The examples give to the designers solutions applicable in their daily practice.. |
| 出版日期 | Book 2007 |
| 關(guān)鍵詞 | Computation and execution models; Embedded computing systems; Hardware; Heterogeneous component interfa |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4020-6153-0 |
| isbn_softcover | 978-90-481-7550-5 |
| isbn_ebook | 978-1-4020-6153-0 |
| copyright | Springer Science+Business Media B.V. 2007 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 18:12
發(fā)表于 2025-3-21 18:20:25
