Travelled to:
1 × Australia
Collaborated with:
M.J.Butler
Talks about:
diagram (1) toward (1) formal (1) state (1) uml (1) csp (1)
Person: Muan Yong Ng
DBLP: Ng:Muan_Yong
Contributed to:
Wrote 1 papers:
- SEFM-2003-NgB #csp #diagrams #formal method #towards #uml
- Towards Formalizing UML State Diagrams in CSP (MYN, MJB), p. 138–?.