Old Web
English
Sign In
Acemap
>
authorDetail
>
Keng Chai Ong
Keng Chai Ong
NICTA
Real-time computing
Architecture
Model checking
Computer science
Embedded system
1
Papers
8
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Automatic verification of active device drivers
2014
Operating Systems Review
Sidney Amani
Peter Chubb
Alastair F. Donaldson
Alexander Legg
Keng Chai Ong
Leonid Ryzhyk
Yanjin Zhu
Show All
Source
Cite
Save
Citations (8)
1