Travelled to:
1 × China
Collaborated with:
J.S.Dong X.Zhang S.Qin
Talks about:
model (1) check (1) build (1) tool (1) spec (1) ozta (1) high (1)
Person: Ping Hao
DBLP: Hao:Ping
Contributed to:
Wrote 1 papers:
- ICSE-2006-DongHZQ #modelling #named
- HighSpec: a tool for building and checking OZTA models (JSD, PH, XZ, SQ), pp. 775–778.