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

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

Etienne Andre

Price
HK$ 1,357
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 24 - Aug 6

Our customers say:

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

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

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  
Show all

More by Etienne Andre

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