Cover is for reference only

The inverse method parametric verification of real-time embedded systems /

Saved in:
Bibliographic Details
Main Authors: André, Etienne
Group Author: Soulat, Romain
Published:
Literature type: Electronic eBook
Language: English
Series: Focus series in computer engineering and IT
Subjects:
Embedded computer systems
Computer systems > Verification
COMPUTERS > General
Electronic books
Online Access: http://onlinelibrary.wiley.com/book/10.1002/9781118569351
Carrier Form: 1 online resource (xviii, 150 pages) : illustrations.
Bibliography: Includes bibliographical references (pages 137-147) and index.
ISBN: 9781118569351
1118569350
9781118569405 (electronic bk.)
1118569407 (electronic bk.)
9781118569351 (electronic bk.)
Index Number: TK7895
CLC: TP302.1
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.

Related Book Recommendations