Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Tingdi Zhao
Information about the author Tingdi Zhao will soon be added to the site.
Found
3 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
How reliable is satellite navigation for aviation? Checking availability properties with probabilistic verification
2015
This paper highlights a promising application of the analysis technique of...
Risk Assessment of Railway Transportation Systems using Timed Fault Trees
2016
Safety is an essential requirement for railway transportation. There are many methods...
Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites
2016
Navigation satellites are a core component of navigation satellite‐based...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
