Pages that link to "Item:Q675050"
From MaRDI portal
The following pages link to Parametric timing analysis for real-time systems (Q675050):
Displaying 19 items.
- Shrinking of time Petri nets (Q378906) (← links)
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Parametric metric interval temporal logic (Q483304) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Decision problems for lower/upper bound parametric timed automata (Q1041291) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Sensitivity analysis of complex embedded real-time systems (Q2481266) (← links)
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions (Q2636513) (← links)
- Cutting-edge timing analysis techniques (Q2883114) (← links)
- Quantitative timed simulation functions and refinement metrics for real-time systems (Q2986932) (← links)
- Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466) (← links)
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph (Q3543304) (← links)
- INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis (Q4652794) (← links)
- An Inverse Method for Parametric Timed Automata (Q4982084) (← links)
- (Q5094115) (← links)
- A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems (Q5280748) (← links)
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA (Q5484905) (← links)
