On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications
Zhou, Rui, Li, Chanjuan, Min, Rong, Yu, Qi, Gu, Fei, Zhou, Qingguo, Hung, Jason C., Li, Kuan-Ching, Wang, XuanVolume:
69
Language:
english
Journal:
The Journal of Supercomputing
DOI:
10.1007/s11227-014-1157-2
Date:
September, 2014
File:
PDF, 1.37 MB
english, 2014