Rong Min

According to our database, Rong Min authored at least 2 papers in 2014.

Collaborative distances:

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

2014

On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications.

Rui Zhou, Chanjuan Li, Rong Min, Qi Yu, Fei Gu, Qingguo Zhou, Jason C. Hung, Kuan-Ching Li, Xuan Wang

J. Supercomput., 2014

Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol.

Rui Zhou, Rong Min, Qi Yu, Chanjuan Li, Yong Sheng, Qingguo Zhou, Xuan Wang, Kuan-Ching Li

Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014