From non-preemptive to preemptive scheduling using synchronization synthesis
利用同步综合实现从非抢占式调度到抢占式调度
期刊:Formal Methods in System Design
影响因子:0.8
doi:10.1007/s10703-016-0256-5
Černý, Pavol; Clarke, Edmund M; Henzinger, Thomas A; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten
