[PLM+13]
Zhaoguang Peng, Yu Lu, Alice Miller, Chris Johnson and Tingdi Zhao.
A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System.
In Proc. 7th European Symposium on Computer Modelling and Simulation (EMS'13), pages 611-616.
2013.
[Uses probabilistic model checking and PRISM to analyse reliability, availability and maintainability properties of a satellite system.]
|
Links:
[Google]
[Google Scholar]
|