Junwang Chang

According to our database, Junwang Chang authored at least 2 papers in 2013.

Collaborative distances:

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

2013

Accelerating Software Model Checking Based on Program Backbone.

Kuanjiu Zhou, Jiawei Yong, Xiaolong Wang, Longtao Ren, Gang Hou, Junwang Chang

Proceedings of the Advanced Parallel Processing Technologies, 2013

Interrupt Modeling and Verification for Embedded Systems Based on Time Petri Nets.

Gang Hou, Kuanjiu Zhou, Junwang Chang, Rui Li, Mingchu Li

Proceedings of the Advanced Parallel Processing Technologies, 2013