{"product_id":"global-specification-and-validation-of-embedded-systems-integrating-heterogeneous-components-von-ahmed-a-jerraya-g-nicolescu","title":"Global Specification and Validation of Embedded Systems","description":"\n                                \n                \u003cp\u003e\n                                        \n                    \u003cem\u003eGlobal Specification and Validation of Embedded Systems\u003c\/em\u003e\n                                         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.\n                \n                \u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789048175505\"\u003e\u003ch3\u003eIntegrating Heterogeneous Components\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9789048175505","offer_id":39416607342685,"sku":"9789048175505","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/986be2d5-0a16-4436-971e-658e09d7a7af.jpg?v=1781417041","url":"https:\/\/shop.autorenwelt.de\/products\/global-specification-and-validation-of-embedded-systems-integrating-heterogeneous-components-von-ahmed-a-jerraya-g-nicolescu","provider":"Autorenwelt Shop","version":"1.0","type":"link"}