The following pages link to (Q3181698):
Displaying 4 items.
- A formal proof of the deadline driven scheduler in PPTL axiomatic system (Q744103) (← links)
- Scheduling in the situation calculus: A case study (Q1376099) (← links)
- Formal languages for integer programming modeling of shift scheduling problems (Q2430360) (← links)
- From the Specification to the Scheduling of Time-Dependent Systems (Q5392287) (← links)