Alice Ann Miller

University of Glasgow

1本站收录论文

28这些论文的被引

1本站 h 指数

3合作者

作者编号 A5014891009 · ORCID 0000-0002-0941-1717。统计只算本站收录的论文。

发表的论文1 篇，按出版时间

1
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verificationReliability Engineering & System Safety201528

按月发文

本站收录的 1 篇都发表在 2015.07

逐年被引

合作者

Tingdi Zhao1 篇 Yu Lu1 篇 Zhaoguang Peng1 篇

研究主题和期刊

Reliability Engineering & System Safety1