Travelled to:1 × USA
1 × United Kingdom
Collaborated with:J.S.Dong H.H.Wang Y.Li J.Sun H.B.Lee
Talks about:militari (1) ontolog (1) verifi (1) beyond (1) analys (1) studi (1) alloy (1) daml (1) case (1) web (1)
Person: Chew Hung Lee
DBLP: Lee:Chew_Hung
Contributed to:
2004
2003Wrote 2 papers:
- ICSE-2004-DongLLW #verification
- Verifying DAML+OIL and Beyond in Z/EVES (JSD, CHL, YFL, HHW), pp. 201–210.
- SEKE-2003-DongSWLL #alloy #case study #ontology #web
- Analysing Web Ontology in Alloy: A Military Case Study (JSD, JS, HHW, CHL, HBL), pp. 542–546.