Author/Creator: Peng, Zhaoguang - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Peng, Zhaoguang

1. Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. (7th November 2014)

Authors:: Peng, Zhaoguang; Lu, Yu; Miller, Alice; Zhao, Tingdi; Johnson, Chris
Journal:: Quality and reliability engineering international
Issue:: Volume 32:Number 2(2016:Mar.)
Page Start:: 345
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification. (December 2015)

Authors:: Lu, Yu; Peng, Zhaoguang; Miller, Alice A.; Zhao, Tingdi; Johnson, Christopher W.
Journal:: Reliability engineering & system safety
Issue:: Volume 144(2015:Dec.)
Page Start:: 95
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Risk Assessment of Railway Transportation Systems using Timed Fault Trees. (14th October 2014)

Authors:: Peng, Zhaoguang; Lu, Yu; Miller, Alice; Johnson, Chris; Zhao, Tingdi
Journal:: Quality and reliability engineering international
Issue:: Volume 32:Number 1(2016:Feb.)
Page Start:: 181
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗