shop by
Category
items
0 

Modeling and Verification of Real-Time Systems (Hardcover)

Customer Reviews   Write a Review

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

Product Overview

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.

Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.

Specifications

Publisher Wiley-Iste
Mfg Part# 9781848210134
SKU 207678840
Format Hardcover
ISBN10 1848210132
Release Date 4/1/2008
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