Login / Signup
Rong Min
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Formal Verification
Model Checker
Fault Tolerant
Communication Protocol
Top Venues
AINA
J. Supercomput.
</>
Publications
</>
Rui Zhou
,
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.
J. Supercomput.
69 (3) (2014)
Rui Zhou
,
Rong Min
,
Qi Yu
,
Chanjuan Li
,
Yong Sheng
,
Qingguo Zhou
,
Xuan Wang
,
Kuan-Ching Li
Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol.
AINA
(2014)