Man Chun Zheng

According to our database, Man Chun Zheng authored at least 2 papers in 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

An Automatic Approach to Verify Sensor Network Systems.

Man Chun Zheng

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

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

Anh Tuan Luu, Man Chun Zheng, Thanh Tho Quan

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010