Pages that link to "Item:Q2643633"
From MaRDI portal
The following pages link to An algorithm for timing verification of systems constrained by min-max inequalities (Q2643633):
Displaying 4 items.
- Time separations of cyclic event rule systems with min-max timing constraints (Q955027) (← links)
- On minimising the maximum expected verification time (Q1675917) (← links)
- Min-max inequalities and the timing verification problem with max and linear constraints (Q1773101) (← links)
- Efficient algorithms for approximate time separation of events (Q1847541) (← links)