Schedulability analysis of global fixed-priority or EDF multiprocessor scheduling with symbolic model-checking
- Nan Guan
- , Zonghua Gu
- , Mingsong Lv
- , Qingxu Deng
- , Ge Yu
Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review
26
Link opens in a new tab
Citations
(Scopus)