Sign in
Shuzhen Dong
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
Shuzhen Dong
,
Qiwen Xu
,
Naijun Zhan
A Formal Proof of the Rate Monotonic Scheduler.
RTCSA
(1999)