Man Chun Zheng

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Man Chun Zheng
An Automatic Approach to Verify Sensor Network Systems. SSIRI (Companion) (2010)
Anh Tuan Luu, Man Chun Zheng, Thanh Tho Quan
Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker. SSIRI (2010)