![]() | ![]() |
2007 | ||
---|---|---|
2 | EE | Lin-Zan Cai, Rong-Shiung Wu, Wen-Ting Huang, Farn Wang: Test automation for kernel code and disk arrays with virtual devices. ASE 2007: 505-508 |
2005 | ||
1 | Farn Wang, Rong-Shiung Wu, Geng-Dian Huang: Verifying Timed and Linear Hybrid Rule-Systems with RED. SEKE 2005: 448-454 |
1 | Lin-Zan Cai | [2] |
2 | Geng-Dian Huang | [1] |
3 | Wen-Ting Huang | [2] |
4 | Farn Wang | [1] [2] |