11
Publications
354
Citations
10
H-Index
1998
Active since
Affiliations
W.L. Yeung is an author at Lingnan University specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware DesignFormal VerificationVerificationSoftware EngineeringBusinessProgram Analysis
Publications per year
1998–2011
11
11
Improvements towards formalizing UML state diagrams in CSP
W.L. Yeung, K.R.P.H. Leung, Ji Wang et al. · 2005 · 27 citations
Rows per page
1–5 of 11