株式会社極東書店トップ ＞ 商品一覧 ＞ Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components. 2007 ed.
商品詳細
Global Specification and Validation of Embedded Systems: Integrating Heterogeneous Components. 2007 ed.
・ISBN 978-1-4020-6151-6 hard EUR 99.99
￥26,726.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Nicolescu, G. / Jerraya, Ahmed A., |
|---|---|
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2007 |
| ページ数 | 148 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-42099＞ |
解説
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.