Free Shipping On Every Order
Amazon no longer offers textbook rentals. We do!
The Inverse Method Parametric Verification of Real-time Unbedded Systems
The Inverse Method Parametric Verification of Real-time Unbedded Systems
- ISBN 13:
9781848214477
- ISBN 10:
1848214472
- Edition: 1st
- Format: Hardcover
- Copyright: 03/04/2013
- Publisher: Wiley-ISTE
New From $187.92
Sorry, this item is currently unavailable.
Free Shipping On Every Order
List Price $189.81 Save $1.89
New
$187.92
Print on Demand: 2-4 Weeks. This item cannot be cancelled or returned.
We Buy This Book Back!
Included with your book
.svg "Free Shipping On Every Order"){kind=icon}
Free Shipping On Every Order
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
This book introduces state-of-the-art verification techniques for real time embedded systems, based on the inverse method for parametric timed automata. First, the inverse method is introduced, and its interest for guaranteeing robustness in real time systems is shown. Then, different extensions are proposed, in particular to the probabilistic and hybrid cases. Various examples, both from the literature and from the industry, illustrate the techniques throughout the book.
