Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Alice Miller
Information about the author Alice Miller will soon be added to the site.
Found
2 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
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
