shop by
Category
items
0 

Communicating Embedded Systems : Software and Design: Formal Methods (Hardcover)

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

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.

Specifications

Publisher Iste/Hermes Science Pub
Mfg Part# 9781848211438
SKU 211904829
Format Hardcover
ISBN10 1848211430
Release Date 12/1/2009
Product Attributes
eBooks Kobo
loading
Sold Out
Sorry, you missed the deal!
This product is currently not available.
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
Buy From Other Sellers (0)
kobo
  • Take your library with you wherever you go
  • Use the device you want to use… smartphone, desktop and many of today’s most popular eReaders

WHY KOBO?

We love the Kobo eReading service… and we know you will too. We’ve partnered with them to bring you the most flexible, enjoyable eReading experience in the U.S.

SHOPPING ON KOBO

You’ll be asked to sign in or create a new account with Kobo. Once you do, you’ll immediately get access to millions of titles and be ready to start eReading. Anytime. Anyplace.

continue to kobo
ADVERTISEMENT
ADVERTISEMENT