Normal view MARC view ISBD view

André, Etienne.

The inverse method : parametric verification of real-time embedded systems / Étienne André, Romain Soulat. - London : Hoboken, N.J. : ISTE ; Wiley, 2013. - 1 online resource (xviii, 150 pages) : illustrations. - Focus series in computer engineering and IT . - Focus series in computer engineering and IT. .

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.

ISBN: 9781118569351 1118569350 9781118569405 1118569407 9781118569351

Source: CL0500000291 Safari Books Online

Subjects--Topical Terms:
Embedded computer systems.
Computer systems--Verification.
Embedded computer systems.
Computer systems--Verification.
COMPUTERS--General.
Computer systems--Verification.
Embedded computer systems.
Embedded computer systems.
Computer systems / Verification.

Index Terms--Genre/Form:
Electronic books.

LC Class. No.: TK7895.E42 / .A53 2013eb

Dewey Class. No.: 006.22