
Vinkkaa tuotetta kavereillesi:
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
Etienne Andre
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
Katso kaikki joka sisältää Etienne Andre ( Esim. Hardcover Book Ja Paperback Book )