The inverse method : parametric verification of real-time embedded systems / Étienne André, Romain Soulat.
Material type: TextSeries: Focus series in computer engineering and ITPublication details: London : ISTE ; Hoboken, N.J. : Wiley, 2013.Description: 1 online resource (xviii, 150 pages) : illustrationsContent type:- text
- computer
- online resource
- 9781118569351
- 1118569350
- 9781118569405
- 1118569407
- 9781118569351
- 006.22 23
- TK7895.E42 .A53 2013eb
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.
Print version record.
There are no comments on this title.