Man Chun Zheng

An Automatic Approach to Verify Sensor Network Systems

Man Chun Zheng, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.

Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker

Man Chun Zheng, Anh Tuan Luu, Thanh Tho Quan, 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement.