|
[PLM16]
Zhaoguang Peng, Yu Lu and Alice Miller.
Uncertainty Analysis of Phased Mission Systems with Probabilistic Timed Automata.
In Proc. 7th IEEE International Conference on Prognostics and Health Management (PHM'16).
2016.
[Analyses phased mission requirements using probabilistic timed automata and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|