Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol. - Rui Zhou 005; Rong Min; Qi Yu; Chanjuan Li; Yong Sheng; Qingguo Zhou; Xuan Wang; Kuan-Ching Li (AINA, 2014)

On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications. - Rui Zhou 005; Chanjuan Li; Rong Min; Qi Yu; Fei Gu 001; Qingguo Zhou; Jason C. Hung; Kuan-Ching Li; Xuan Wang (J. Supercomput., 2014)