A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection.

Jiale Quan, Qin Li

Browse the full ICECCS paper archive.