Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking
- Nan Guan
- , Zonghua Gu
- , Qingxu Deng
- , Shuaihong Gao
- , Ge Yu
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
55
Link opens in a new tab
Citations
(Scopus)