Sisäänkirjautuminen

Andr?, Etienne

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

Andr?, Etienne - The Inverse Method: Parametric Verification of Real-time Unbedded Systems, e-kirja

79,85€

E-kirja, ePUB, Adobe DRM-suojattu
ISBN: 9781118569788
DRM-rajoitukset

Tulostus30 sivua ja lisä sivu kertyy joka päivä, ylärajana 30 sivua
Kopioi leikepöydälle5 poimintoa

This book introduces state-of-the-art verification techniques for real time embedded systems, based on the inverse method for parametric timed automata. First, the inverse method is introduced, and its interest for guaranteeing robustness in real time systems is shown. Then, different extensions are proposed, in particular to the probabilistic and hybrid cases. Various examples, both from the literature and from the industry, illustrate the techniques throughout the book.

Avainsanat: General & Introductory Electrical & Electronics Engineering

Tekijä(t)
 
Julkaisija
John Wiley and Sons, Inc.
Julkaisuvuosi
2013
Kieli
en
Painos
1
Sarja
ISTE
Kategoria
Tekniikka, energia, liikenne
Tiedostomuoto
E-kirja
eISBN (ePUB)
9781118569788
Painetun ISBN
9781848214477

Samankaltaisia e-kirjoja