The following pages link to (Q4994965):
Displaying 7 items.
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling (Q283177) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- Parametric timing analysis for real-time systems (Q675050) (← links)
- (Q4473725) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395104) (← links)
- (Q5754537) (← links)
- Distributed parametric model checking timed automata under non-zenoness assumption (Q6108439) (← links)