Pages that link to "Item:Q2763538"
From MaRDI portal
The following pages link to Analyzing real-time systems: Theory and tools (Q2763538):
Displaying 8 items.
- Parametric timing analysis for real-time systems (Q675050) (← links)
- Analysis techniques for supporting hard real-time sporadic gang task systems (Q779459) (← links)
- Kronos: A verification tool for real-time systems (Q1856194) (← links)
- Sensitivity analysis of complex embedded real-time systems (Q2481266) (← links)
- Reasoning about reactive systems (Q2763546) (← links)
- Rigorous implementation of real-time systems -- from theory to application (Q2843865) (← links)
- Analyzing Real-Time Event-Driven Programs (Q3648830) (← links)
- (Q4823677) (← links)