Timing Parameter Characterization of Real-Time Systems
From MaRDI portal
Publication:3559774
DOI10.1007/3-540-45089-0_4zbMath1279.68225OpenAlexW1584799301MaRDI QIDQ3559774
Publication date: 7 May 2010
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45089-0_4
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (3)
INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis ⋮ On minimal elements of upward-closed sets ⋮ An Inverse Method for Parametric Timed Automata
This page was built for publication: Timing Parameter Characterization of Real-Time Systems