Communicating Embedded Systems: Software and Design (Hardback)
  • Communicating Embedded Systems: Software and Design (Hardback)
zoom

Communicating Embedded Systems: Software and Design (Hardback)

(editor), (editor)
£126.00
Hardback 274 Pages / Published: 06/11/2009
  • We can order this

Usually dispatched within 15 working days

  • This item has been added to your basket
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...

Robotics: A Very Short Introduction
Added to basket
Make: Analog Synthesizers
Added to basket
Build Your Own Transistor Radios
Added to basket
CNC Robotics
Added to basket
£31.99
Paperback
The Oxford Solid State Basics
Added to basket
Spying on Democracy
Added to basket
Physics Of Solar Cells, The
Added to basket
Signal Traffic
Added to basket
£20.99
Paperback
Electronics For Dummies
Added to basket
Electronics
Added to basket
£42.99
Paperback
Arduino in Easy Steps
Added to basket
Electronics All-in-One For Dummies - UK
Added to basket

Please sign in to write a review

Your review has been submitted successfully.