A formal proof of the deadline driven scheduler in PPTL axiomatic system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du. A formal proof of the deadline driven scheduler in PPTL axiomatic system. Theoretical Computer Science, 554:229-253, 2014. [doi]

This author has not been identified. Look up 'Nan Zhang' in GoogleThis author has not been identified. Look up 'Zhenhua Duan' in GoogleThis author has not been identified. Look up 'Cong Tian' in GoogleThis author has not been identified. Look up 'Ding-Zhu Du' in Google

runs on WebDSL