How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. Lu, Y., Peng, Z., Miller, A. A., Zhao, T., & Johnson, C. W. Reliability Engineering & System Safety, 144:95–116, 2015. tex.ids= luHowReliableSatellite2015a, luHowReliableSatellite2015b, luHowReliableSatellite2015c, luHowReliableSatellite2015d, lu_how_2015 publisher: Elsevier
doi  bibtex   
	title = {How reliable is satellite navigation for aviation? {Checking} availability properties with probabilistic verification},
	volume = {144},
	shorttitle = {How reliable is satellite navigation for aviation?},
	doi = {10/f7thcp},
	journal = {Reliability Engineering \& System Safety},
	author = {Lu, Yu and Peng, Zhaoguang and Miller, Alice A. and Zhao, Tingdi and Johnson, Christopher W.},
	year = {2015},
	note = {tex.ids= luHowReliableSatellite2015a, luHowReliableSatellite2015b, luHowReliableSatellite2015c, luHowReliableSatellite2015d, lu\_how\_2015
publisher: Elsevier},
	pages = {95--116},

Downloads: 0