Zhaoguang Peng, Yu Lu, Alice Miller, Tingdi Zhao, Chris Johnson. Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Quality and Reliability Eng. Int., 32(2):345-361, 2016. [doi]
@article{PengLMZJ16,
title = {Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites},
author = {Zhaoguang Peng and Yu Lu and Alice Miller and Tingdi Zhao and Chris Johnson},
year = {2016},
doi = {10.1002/qre.1754},
url = {http://dx.doi.org/10.1002/qre.1754},
researchr = {https://researchr.org/publication/PengLMZJ16},
cites = {0},
citedby = {0},
journal = {Quality and Reliability Eng. Int.},
volume = {32},
number = {2},
pages = {345-361},
}