Travelled to:1 × Republic of China
1 × USA
Collaborated with:F.Wang G.Huang L.Cai W.Huang
Talks about:virtual (1) verifi (1) system (1) linear (1) kernel (1) hybrid (1) devic (1) autom (1) array (1) time (1)
Person: Rong-Shiung Wu
DBLP: Wu:Rong=Shiung
Contributed to:
2007
2005Wrote 2 papers:
- ASE-2007-CaiWHW #array #automation #kernel #testing
- Test automation for kernel code and disk arrays with virtual devices (LZC, RSW, WTH, FW), pp. 505–508.
- SEKE-2005-WangWH #hybrid #linear #verification
- Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.