Fingerprint
Dive into the research topics of 'Exact schedulability analysis for static-priority global multiprocessor scheduling using model-checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
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
54
Citations
(Scopus)