2
Publications
34
Citations
2
H-Index
2012
Active since
Wen-ke Ma is an author specializing in fintech, computer engineering, and formal verification.
Top concepts
FintechBusinessEngineeringVerificationFormal MethodsComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringFinance
Publications per year
2012–2012
2
2
A Case Study of Model Checking Retail Banking System with SPIN
Huiling Shi, Wen-ke Ma, Meihong Yang et al. · Journal of Computers · 2012 · 23 citations
Model Checking and Verification of the Internet Payment System with SPIN
Wei Zhang, Wen-ke Ma, Huiling Shi et al. · Journal of Software · 2012 · 11 citations
Rows per page
1–2 of 2