The Inverse Method: Parametric Verification of Real-time Unbedded Systems - Etienne Andre - Bøker - ISTE Ltd and John Wiley & Sons Inc - 9781848214477 - 4. mars 2013
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.629

Bestillingsvarer

Forventes levert 20. nov - 4. des
Julegaver kan byttes frem til 31. januar
Få varsel om nye utgivelser fra Etienne Andre

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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  

Mer fra samme **utgiver**

Se alt med Etienne Andre