The inverse method : parametric verification of real-time embedded systems / [electronic resource]
by André, Etienne; Soulat, Romain.
Material type:
BookSeries: Focus series in computer engineering and IT: Publisher: London : Hoboken, N.J. : ISTE ; Wiley, 2013Description: 1 online resource (xviii, 150 pages) : illustrations.ISBN: 9781118569351; 1118569350; 9781118569405; 1118569407; 9781118569351.Subject(s): 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 | Electronic booksOnline resources: Wiley Online Library
Contents:
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.
No physical items for this record
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 for this item.