did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

Communicating Embedded Systems Software and Design

by: ;
9781848211438

Communicating Embedded Systems Software and Design

by: ;
  • ISBN 13:

    9781848211438

  • ISBN 10:

    1848211430

  • Edition: 1st
  • Format: Hardcover
  • Copyright: 12/14/2009
  • Publisher: Wiley-ISTE
Cheapest textbook rentals Rent From $118.38
New From $187.92

List Price $189.81 Save

Rent $118.38
TERM PRICE DUE
Added Benefits of Renting

Free Shipping Both Ways Free Shipping Both Ways
Highlight/Take Notes Like You Own It Highlight/Take Notes Like You Own It
Purchase/Extend Before Due Date Purchase/Extend Before Due Date

Add to Cart
Free Shipping Free Shipping On Every Order
|Usually Ships in 3-4 Business Days

List Price $189.81 Save $1.89

New $187.92

Usually Ships in 3-4 Business Days

We Buy This Book Back We Buy This Book Back!

Included with your book

Free Shipping On Every Order Free Shipping On Every Order

Add to Cart

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

Extend or Purchase Your Rental at Any Time

Need to keep your rental past your due date? At any time before your due date you can extend or purchase your rental through your account.

Summary

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.

Author Biography

Read more

Table of Contents

Read more

Supplemental Materials

Read more