Concepedia

Muan Yong Ng

MY

2

Publications

103

Citations

2

H-Index

2003

Active since

Affiliations

University of Southampton(Current)

Muan Yong Ng is an author at University of Southampton specializing in system software, formal specification, and formal verification.

Top concepts

Publications per year

2003–2005

2

Publications

2

Towards formalizing UML state diagrams in CSP

Muan Yong Ng, Michael Butler · 2003 · 57 citations

, , +20

Precise Modelling of Compensating Business Transactions and its Application to BPEL

Michael Butler, Carla Ferreira, Muan Yong Ng · ePrints Soton (University of Southampton) · 2005 · 46 citations · Full text

Rows per page

1–2 of 2