Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking
- Nan Guan
- , Zonghua Gu
- , Qingxu Deng
- , Shuaihong Gao
- , Ge Yu
Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review
55
Link opens in a new tab
Citations
(Scopus)