|
[PLM+14]
Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao and Chris Johnson.
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites.
Quality and Reliability Engineering International.
2014.
[Uses probabilistic model checking and PRISM to analyse reliability, availability and maintainability properties of a satellite system.]
|
|
Links:
[Google]
[Google Scholar]
|