Amazon cover image
Image from Amazon.com

The inverse method : parametric verification of real-time embedded systems / Étienne André, Romain Soulat.

By: Contributor(s): Material type: TextTextSeries: 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
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9781118569351
  • 1118569350
  • 9781118569405
  • 1118569407
  • 9781118569351
Subject(s): Genre/Form: Additional physical formats: Print version:: Inverse method.DDC classification:
  • 006.22 23
LOC classification:
  • TK7895.E42 .A53 2013eb
Online resources:
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
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.