Keng Chai Ong

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Artificial Neural Networks

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Sidney Amani, Peter Chubb, Alastair F. Donaldson, Alexander Legg, Keng Chai Ong, Leonid Ryzhyk, Yanjin Zhu
Automatic verification of active device drivers. ACM SIGOPS Oper. Syst. Rev. 48 (1) (2014)