The Inverse Method: Parametric Verification of Real-time Unbedded Systems - Etienne Andre - Books - ISTE Ltd and John Wiley & Sons Inc - 9781848214477 - March 4, 2013
In case cover and title do not match, the title is correct

Etienne Andre
The Inverse Method: Parametric Verification of Real-time Unbedded Systems

Price
$ 172.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping May 26 - Jun 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This practical guide arms scientists, researchers, and industrial engineers with state-of-the-art verification techniques for real time embedded systems based on the inverse method for parametric timed automata. The authors begin with an introduction to the inverse method, demonstrating how to use it to guarantee robustness in real-time systems.

176 pages, Illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 4, 2013
ISBN13 9781848214477
Publishers ISTE Ltd and John Wiley & Sons Inc
Pages 176
Dimensions 160 × 241 × 20 mm   ·   430 g
Language English  

See all of Etienne Andre ( e.g. Hardcover Book and Paperback Book )