Pages that link to "Item:Q1770567"
From MaRDI portal
The following pages link to Specification and timing analysis of real-time systems (Q1770567):
Displaying 9 items.
- Parametric timing analysis for real-time systems (Q675050) (← links)
- Integrating schedulability analysis and design techniques in SDL (Q1870173) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Sensitivity analysis of complex embedded real-time systems (Q2481266) (← links)
- Specification and analysis of timing requirements for real-time systems in the CBD approach (Q2642537) (← links)
- Specification and design methodology for real-time embedded systems (Q2768900) (← links)
- Quantitative timed simulation functions and refinement metrics for real-time systems (Q2986932) (← links)
- Consistency and satisfiability of waveform timing specifications (Q3199186) (← links)
- (Q5094142) (← links)