Parametric timing analysis for real-time systems
From MaRDI portal
Publication:675050
DOI10.1006/inco.1996.0086zbMath0872.68041OpenAlexW2034124289MaRDI QIDQ675050
Publication date: 13 October 1997
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/725bb390b74480eb2d11d2ff2f5b52f0cc6e46c5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (12)
Language Emptiness of Continuous-Time Parametric Timed Automata ⋮ Parameter synthesis for probabilistic timed automata using stochastic game abstractions ⋮ Shrinking of time Petri nets ⋮ A survey of timed automata for the development of real-time systems ⋮ Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph ⋮ Parametric metric interval temporal logic ⋮ INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis ⋮ Reachability solution characterization of parametric real-time systems ⋮ Unnamed Item ⋮ A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA ⋮ Decision problems for lower/upper bound parametric timed automata ⋮ Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
This page was built for publication: Parametric timing analysis for real-time systems
