The Inverse Method: Parametric Verification of Real-time Unbedded Systems - Etienne Andre - Kirjat - ISTE Ltd and John Wiley & Sons Inc - 9781848214477 - maanantai 4. maaliskuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Etienne Andre

Hinta
S$ 241,45

Tilattu etävarastosta

Arvioitu toimitus ti - to 22. - 31. heinä
Lisää iMusic-toivelistallesi
Eller

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä maanantai 4. maaliskuuta 2013
ISBN13 9781848214477
Tuottaja ISTE Ltd and John Wiley & Sons Inc
Sivujen määrä 176
Mitta 160 × 241 × 20 mm   ·   430 g
Kieli English  

Näytä kaikki

Lisää tuotteita Etienne Andre