Zhaoguang Peng, Yu Lu 0001, Alice Miller. Uncertainty analysis of phased mission systems with probabilistic timed automata. In IEEE International Conference on Prognostics and Health Management, ICPHM 2016, Ottawa, ON, Canada, June 20-22, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.