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

Rui Zhou 0005, Chanjuan Li, Rong Min, Qi Yu, Fei Gu, Qingguo Zhou, Jason C. Hung, Kuan-Ching Li, Xuan Wang. On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications. The Journal of Supercomputing, 69(3):1254-1283, 2014. [doi]

Abstract

Abstract is missing.