CENTRAL LIBRARY

Welcome to Online Public Access Catalogue (OPAC)

Normal view MARC view ISBD view

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

By: André, Etienne.
Contributor(s): Soulat, Romain.
Material type: materialTypeLabelBookSeries: Focus series in computer engineering and IT: Publisher: London : Hoboken, N.J. : ISTE ; Wiley, 2013Description: 1 online resource (xviii, 150 pages) : illustrations.Content type: text Media type: computer Carrier type: online resourceISBN: 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 / VerificationGenre/Form: Electronic books.Additional physical formats: Print version:: Inverse method.DDC classification: 006.22 Online 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.
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.

There are no comments for this item.

Log in to your account to post a comment.

Khulna University of Engineering & Technology

Funded by: HEQEP, UGC, Bangladesh