Fortell venner om denne varen:
The Inverse Method: Parametric Verification of Real-time Unbedded Systems
Etienne Andre
Pris
S$ 219,50
Bestillingsvarer
Forventes levert 22. - 31. jul
Legg til iMusic ønskeliste
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 | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 4. mars 2013 |
| ISBN13 | 9781848214477 |
| Utgivere | ISTE Ltd and John Wiley & Sons Inc |
| Antall sider | 176 |
| Mål | 160 × 241 × 20 mm · 430 g |
| Språk | 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 (Pocketbok) [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-pocketbok&class=scaled&v=1746137909)