About this scholarly article

2012 8th International Conference on Wireless Communications, Networking and Mobile Computing - Formal Verification for SpaceWire Communication Protocol Based on Environment State Machine by Hua, Wei; Li, Xiaojuan; Guan, Yong; Shi, Zhiping; Zhang, Jie; Dong, Lingling is a scholarly article available to read on EtoBox.

Author

Hua, Wei; Li, Xiaojuan; Guan, Yong; Shi, Zhiping; Zhang, Jie; Dong, Lingling

Publisher

IEEE

Published

2012