Povej prijatelju o tem izdelku:
The Inverse Method: Parametric Verification of Real-time Unbedded Systems Etienne Andre
Cena
€ 159,49
Naročeno iz oddaljenega skladišča
Predvidena dobava 13. - 27. okt
Prejemajte obvestila o novih izdajah izvajalca Etienne Andre
Kaj pravijo naše stranke:
Dodaj na svoj seznam želja iMusic
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
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 16. januarja 2013 |
| ISBN13 | 9781848214477 |
| Založniki | ISTE Ltd and John Wiley & Sons Inc |
| Strani | 176 |
| Dimenzije | 160 × 241 × 20 mm · 430 g |
| Jezik | Angleščina |
