Travelled to:1 × Japan
1 × Republic of China
Collaborated with:F.Wang R.Wu
Talks about:system (2) time (2) generat (1) coverag (1) concurr (1) analysi (1) verifi (1) linear (1) hybrid (1) zone (1)
Person: Geng-Dian Huang
DBLP: Huang:Geng=Dian
Contributed to:
2008
2005Wrote 2 papers:
- TestCom-FATES-2008-WangH #analysis #concurrent #generative #realtime #testing
- Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis (FW, GDH), pp. 234–249.
- SEKE-2005-WangWH #hybrid #linear #verification
- Verifying Timed and Linear Hybrid Rule-Systems with RED (FW, RSW, GDH), pp. 448–454.