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 proceedingConference article published in proceeding or bookAcademic researchpeer-review

49 Citations (Scopus)

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.

Keyphrases

Computer Science