The Inverse Method: Parametric Verification of Real-time Unbedded Systems - Etienne Andre - Bücher - ISTE Ltd and John Wiley & Sons Inc - 9781848214477 - 4. März 2013
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Etienne Andre
The Inverse Method: Parametric Verification of Real-time Unbedded Systems

Preis
SFr. 137,49
exkl. MwSt.

Bestellware

Lieferdatum: ca. 12. - 21. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

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

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum 4. März 2013
ISBN13 9781848214477
Verlag ISTE Ltd and John Wiley & Sons Inc
Seitenanzahl 176
Maße 160 × 241 × 20 mm   ·   430 g
Sprache Englisch  

Weitere Titel von Etienne Andre

Alle anzeigen

Alle Titel von Etienne Andre ansehen ( u. a. Gebundenes Buch und Taschenbuch )