[IEEE 2015 First International Conference on Reliability Systems Engineering (ICRSE) - Beijing, China (2015.10.21-2015.10.23)] 2015 First International Conference on Reliability Systems Engineering (ICRSE) - Reliability prediction of a hydraulic system with probabilistic model checking
Yan, Shuai; Zhang, Hong; Zhang, Yongshu
- 作者Yan, Shuai; Zhang, Hong; Zhang, Yongshu
- 文件大小523.55KB
- 发表时间2015
- DOI10.1109/icrse.2015.7366456
- 页码1-7