The inverse method parametric verification of real-time embedded systems /
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
|
Literature type: | Electronic eBook |
Language: | English |
Series: |
Focus series in computer engineering and IT
|
Subjects: | |
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. |