Zhan Naijun

Another formal proof for Deadline Driven Scheduler

Zhan Naijun, 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.

A formal proof of the rate monotonic scheduler

Xu Qiwen, Zhan Naijun, Dong Shuzhen, 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

Completeness of Higher-Order Duration Calculus

Zhan Naijun, Zhan Naijun, 2000 .