Fortæl dine venner om denne vare:
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
Etienne Andre
Pris
R 3.857,50
Bestilles fra fjernlager
Forventes klar til forsendelse 17. - 24. jul.
Tilføj til din iMusic ønskeseddel
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
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 4. marts 2013 |
| ISBN13 | 9781848214477 |
| Forlag | ISTE Ltd and John Wiley & Sons Inc |
| Antal sider | 176 |
| Mål | 160 × 241 × 20 mm · 430 g |
| Sprog | Engelsk |
![Cover for Étienne André · Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I - Lecture Notes in Computer Science (Paperback Bog) [1st ed. 2023 edition] (2023)](https://imusic.b-cdn.net/images/item/original/281/9783031453281.jpg?etienne-andre-2023-automated-technology-for-verification-and-analysis-21st-international-symposium-atva-2023-singapore-october-24-27-2023-proceedings-part-i-lecture-notes-in-computer-science-paperback-bog&class=scaled&v=1746137909)