{"product_id":"9781118600092","title":"Communicating Embedded Systems: Software and Design","description":"The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies. \u003cp\u003eFormal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.\u003c\/p\u003e \u003cp\u003eThis book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.\u003c\/p\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":47136392118512,"sku":"9781118600092","price":112.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9781118600092_p0.jpg?v=1763694967","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9781118600092","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}