Travelled to:1 × USA
Collaborated with:Q.Zeng Y.Lu Z.Zhang
Talks about:model (2) structur (1) softwar (1) vulner (1) toward (1) precis (1) improv (1) check (1) some (1) more (1)
Person: Ming Huang
DBLP: Huang:Ming
Contributed to:
2010Wrote 2 papers:
- SEKE-2010-HuangLZ #towards
- Towards a Structured Model for Software Vulnerabilities (MH, YL, QZ), pp. 543–547.
- SEKE-2010-ZhangZH #model checking #precise
- Some Improvements for More Precise Model Checking (ZZ, QZ, MH), pp. 106–112.