Statistics
Publications
2
Citations
30
H-Index
2
Active since
2014
Affiliations
McMaster University(Current)
Chen-Wei Wang is an author at McMaster University specializing in computer science, model checking, and formal methods.
Publications per year
2014–2015
2
2
Formal model-driven engineering of critical information systems
Jim Davies, David Milward, Chen-Wei Wang et al. · Science of Computer Programming · 2014 · 20 citations · Full text
Formal verification of function blocks applied to IEC 61131-3
Linna Pang, Chen-Wei Wang, Mark Lawford et al. · Science of Computer Programming · 2015 · 10 citations
1–2 of 2