External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Rui Zhou 0005

This author has not been identified. Look up 'Rui Zhou 0005' in Google

Chanjuan Li

This author has not been identified. Look up 'Chanjuan Li' in Google

Rong Min

This author has not been identified. Look up 'Rong Min' in Google

Qi Yu

This author has not been identified. Look up 'Qi Yu' in Google

Fei Gu

This author has not been identified. Look up 'Fei Gu' in Google

Qingguo Zhou

This author has not been identified. Look up 'Qingguo Zhou' in Google

Jason C. Hung

This author has not been identified. Look up 'Jason C. Hung' in Google

Kuan-Ching Li

This author has not been identified. Look up 'Kuan-Ching Li' in Google

Xuan Wang

This author has not been identified. Look up 'Xuan Wang' in Google
runs on