Zhaoguang Peng

ZHAO PENG : A FORMAL VERIFICATION METHOD FOR HYBRID SYSTEMS

Zhaoguang Peng, 2016 .

Risk Assessment of Railway Transportation Systems using Timed Fault Trees

Chris W. Johnson, Alice Miller, Tingdi Zhao, 2016, Qual. Reliab. Eng. Int..

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Chris W. Johnson, Yu Lu, Alice Miller, 2014, Qual. Reliab. Eng. Int..

Formal modelling and quantitative analysis of satellite navigation systems pdf

Chris W. Johnson, Yu Lu, Alice Miller, 2014, ArXiv.

Uncertainty analysis of phased mission systems with probabilistic timed automata

Yu Lu, Alice Miller, Zhaoguang Peng, 2016, 2016 IEEE International Conference on Prognostics and Health Management (ICPHM).

Availability Analysis of Satellite Positioning Systems for Aviation Using the PRISM Model Checker

Chris W. Johnson, Yu Lu, Alice Miller, 2014, 2014 IEEE 17th International Conference on Computational Science and Engineering.

A Probabilistic Model Checking Approach to Analysing Reliability, Availability, and Maintainability of a Single Satellite System

Chris W. Johnson, Yu Lu, Alice Miller, 2013, 2013 European Modelling Symposium.