Model Checking for SpaceWire Error Detection Module
Dong, Ling Ling; Guan, Yong; Li, Xiao Juan; Shi, Zhi Ping; Zhang, Jie; Hua, Wei
- 期刊名称Applied Mechanics and Materials
- 作者Dong, Ling Ling; Guan, Yong; Li, Xiao Juan; Shi, Zhi Ping; Zhang, Jie; Hua, Wei
- 电子ISSN1662-7482
- 文件大小298.41KB
- 发表时间2012-12
- DOI10.4028/www.scientific.net/AMM.241-244.3020
- 页码3020-3025