Mehmet Akşit

A Formal Product-Line Engineering Approach for Schedulers

2017 · University of Twente Research Information

Scheduling techniques have been applied to a large category of software systems, such as, processor scheduling in operating systems, car scheduling in elevator systems, facility scheduling at airports, antenna scheduling in radar systems, scheduling of …