Rong-Shiung Wu

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang
Test automation for kernel code and disk arrays with virtual devices. ASE (2007)
Farn Wang, Rong-Shiung Wu, Geng-Dian Huang
Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE (2005)