Verification of a real time scheduling protocol of safety-critical systems.

Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang

Browse the full CSCWD paper archive.