
Communicating Embedded Systems: Software and Design (Hardback)
Claude Jard (editor), Olivier H. Roux (editor)
£126.00
Hardback
274 Pages /
Published: 06/11/2009
- We can order this
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. Formal 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. This 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.
Publisher: ISTE Ltd and John Wiley & Sons Inc
ISBN: 9781848211438
Number of pages: 274
Weight: 554 g
Dimensions: 241 x 157 x 21 mm
You may also be interested in...
Please sign in to write a review
Sign In / Register
Not registered? CREATE AN ACCOUNTCREATE A plus ACCOUNT
Sign In
Download the Waterstones App
Would you like to proceed to the App store to download the Waterstones App?
Click & Collect
Reserve online, pay on collection.
Please note that owing to current COVID-19 restrictions, many of our shops are closed. Find out more by clicking here.
Please note that owing to current COVID-19 restrictions, many of our shops are closed. Find out more by clicking here.
Thank you for your reservation
Your order is now being processed and we have sent a confirmation email to you at
When will my order be ready to collect?
Following the initial email, you will be contacted by the shop to confirm that your item is available for collection.
Call us on or send us an email at
Unfortunately there has been a problem with your order
Please try again or alternatively you can contact your chosen shop on or send us an email at