Pastāsti draugiem par šo preci:
The Inverse Method: Parametric Verification of Real-time Unbedded Systems Etienne Andre
Cena
€ 169,99
Pasūtīts no attālās noliktavas
Paredzamā piegāde . gada 7. - 21. aug.
Saņemiet paziņojumus par jauniem Etienne Andre izdevumiem
Mūsu klienti saka:
Pievienot savam iMusic vēlmju sarakstam
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
| Mediji | Grāmatas Hardcover Book (Grāmata ar cieto muguriņu un vāku) |
| Izlaists | 2013. gada 4. marts |
| ISBN13 | 9781848214477 |
| Izdevēji | ISTE Ltd and John Wiley & Sons Inc |
| Lapas | 176 |
| Izmēri | 160 × 241 × 20 mm · 430 g |
| Valoda | Angļu |
