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