TY  - BOOK
AU  - André,Etienne
AU  - Soulat,Romain
TI  - The inverse method: parametric verification of real-time embedded systems 
T2  - Focus series in computer engineering and IT
SN  - 9781118569351
AV  - TK7895.E42 .A53 2013eb
U1  - 006.22 23
PY  - 2013///
CY  - London, Hoboken, N.J.
PB  - ISTE, Wiley
KW  - Embedded computer systems
KW  - Computer systems
KW  - Verification
KW  - COMPUTERS
KW  - General
KW  - bisacsh
KW  - fast
KW  - local
KW  - Computer systems / Verification
KW  - Electronic books
N1  - Includes bibliographical references (pages 137-147) and index; Parametric timed automata -- The inverse method for parametric timed automata -- The inverse method in practice: application to case studies -- Behavioral cartography of timed automata -- Parameter synthesis for hybrid automata -- Application to the robustness analysis of scheduling problems -- Conclusion and perspectives -- Bibliography -- Index
UR  - http://dx.doi.org/10.1002/9781118569351
ER  -