Shuzhen Dong

According to our database, Shuzhen Dong authored at least 1 paper in 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

A Formal Proof of the Rate Monotonic Scheduler.

Shuzhen Dong, Qiwen Xu, Naijun Zhan

Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999