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

• Κύριος συγγραφέας: André, Etienne
• Άλλοι συγγραφείς: Soulat, Romain
• Μορφή: Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : ISTE ; 2013.; Hoboken, N.J. : Wiley, 2013.
• Σειρά: Focus series in computer engineering and IT.
• Θέματα: Embedded computer systems.; Computer systems > Verification.; COMPUTERS > General.; Computer systems / Verification.; Electronic books.

Πίνακας περιεχομένων:

• 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.