Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu. Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. In 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA. pages 556-560, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Nan Guan' in GoogleThis author has not been identified. Look up 'Zonghua Gu' in GoogleThis author has not been identified. Look up 'Mingsong Lv' in GoogleThis author has not been identified. Look up 'Qingxu Deng' in GoogleThis author has not been identified. Look up 'Ge Yu' in Google

runs on WebDSL