£126.17

Wiley The Inverse Method: Parametric Verification of Real-time Unbedded Systems (Focus Computer Engineering and IT)

Price data last checked 10 day(s) ago - will refresh soon

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

Cheaper than 33% of the days we've watched it. Below what most people pay.

£126 today · 30-day average £132 · all-time low £102

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey
↓ Forecast
where the price is heading next
↓ Statistics
all-time high & low, recent range
↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 81 days · 81 data points (no recent data)

Historical
Generating forecast…
£133.81 £98.82 £106.45 £114.09 £121.72 £129.36 £136.99 08 June 2026 28 June 2026 18 July 2026 07 August 2026 27 August 2026

Price Distribution

Price distribution over 81 days • 3 price levels

Days at Price
Current Price
54 days 4 days · current 23 days 0 14 27 41 54 £102 £126 £134 Days at Price

Price Analysis

Most common price: £102 (54 days, 66.7%)

Price range: £102 - £134

Price levels: 3 different prices over 81 days

Description

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata. The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solve the good parameters problem for parametric timed automata by computing a behavioral cartography of the system. Different extensions are proposed particularly for hybrid systems and applications to scheduling problems using timed automata with stopwatches. Various examples, both from the literature and industry, illustrate the techniques throughout the book. Various parametric verifications are performed, in particular of abstractions of a memory circuit sold by the chipset manufacturer ST-Microelectronics, as well as of the prospective flight control system of the next generation of spacecraft designed by ASTRIUM Space Transportation.

Product Specifications

Brand
Wiley
Format
hardcover
Domain
Amazon UK
Release Date
16 January 2013
Listed Since
06 October 2012

Barcode

No barcode data available

Similar Products You Might Like

Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics (Focus (Wiley))
80% match

Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics (Focus (Wiley))

Wiley

£97.68 04 Aug 2026
SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)
79% match

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

Springer

£80.67 14 Aug 2026
Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)
79% match

Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles: 520 (Studies in Computational Intelligence, 520)

Springer

£76.42 12 Aug 2026
Temporal Verification of Reactive Systems: Safety
79% match

Temporal Verification of Reactive Systems: Safety

Springer

£85.07 06 Aug 2026
Invasive Computing for Mapping Parallel Programs to Many-Core Architectures (Computer Architecture and Design Methodologies)
79% match

Invasive Computing for Mapping Parallel Programs to Many-Core Architectures (Computer Architecture and Design Methodologies)

Springer

£73.85 08 Aug 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
79% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£79.14 06 Aug 2026
Synchronous Equivalence: Formal Methods for Embedded Systems
79% match

Synchronous Equivalence: Formal Methods for Embedded Systems

Springer

£74.08 05 Aug 2026
Symbolic Simulation Methods for Industrial Formal Verification
79% match

Symbolic Simulation Methods for Industrial Formal Verification

Springer

£74.31 06 Aug 2026
Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive
79% match

Embedded Software Timing: Methodology, Analysis and Practical Tips with a Focus on Automotive

Springer

£80.23 30 Jul 2026
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
78% match

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

Springer

£129.99 13 Aug 2026
Systems and Software Verification: Model-Checking Techniques and Tools
78% match

Systems and Software Verification: Model-Checking Techniques and Tools

Springer

£100.11 08 Aug 2026
Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms
78% match

Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogenous Platforms

Springer

£76.42 04 Aug 2026
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
78% match

System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)

Springer

£75.68 06 Aug 2026
Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems
78% match

Model-Driven Design Using IEC 61499: A Synchronous Approach for Embedded and Automation Systems

Springer

£75.81 04 Aug 2026
Advanced Techniques for Embedded Systems Design and Test
77% match

Advanced Techniques for Embedded Systems Design and Test

Springer

£109.67 05 Aug 2026
Design of Embedded Control Systems
77% match

Design of Embedded Control Systems

Springer

£76.42 13 Aug 2026
A Unified Approach for Timing Verification and Delay Fault Testing
77% match

A Unified Approach for Timing Verification and Delay Fault Testing

Springer

£76.42 06 Aug 2026
Analysis and Synthesis for Discrete-Time Switched Systems: A Quasi-Time-Dependent Method: 244 (Studies in Systems, Decision and Control, 244)
77% match

Analysis and Synthesis for Discrete-Time Switched Systems: A Quasi-Time-Dependent Method: 244 (Studies in Systems, Decision and Control, 244)

Springer

£76.11 08 Aug 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
77% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.21 08 Aug 2026
Verification and Control of Hybrid Systems: A Symbolic Approach
77% match

Verification and Control of Hybrid Systems: A Symbolic Approach

Springer

£92.22 08 Aug 2026
Analysis and Synthesis of Distributed Real-Time Embedded Systems
77% match

Analysis and Synthesis of Distributed Real-Time Embedded Systems

Springer

£76.42 05 Aug 2026
Robust Control and Linear Parameter Varying Approaches: Application to Vehicle Dynamics: 437 (Lecture Notes in Control and Information Sciences, 437)
77% match

Robust Control and Linear Parameter Varying Approaches: Application to Vehicle Dynamics: 437 (Lecture Notes in Control and Information Sciences, 437)

Springer

£76.42 07 Aug 2026
Theory of Reversible Computing (Monographs in Theoretical Computer Science. An EATCS Series)
77% match

Theory of Reversible Computing (Monographs in Theoretical Computer Science. An EATCS Series)

Springer

£119.53 08 Aug 2026
Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems
77% match

Memory Controllers for Real-Time Embedded Systems: Predictable and Composable Real-Time Systems

Springer

£80.67 07 Aug 2026