Yu Lu, Alice Miller, Chris Johnson, Zhaoguang Peng, Tingdi Zhao. Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker. In Xingang Liu, Didier El Baz, Ching-Hsien Hsu, Kai Kang, Weifeng Chen, editors, 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Chengdu, China, December 19-21, 2014. pages 704-713, IEEE, 2014. [doi]
Abstract is missing.