Miller Alice

Alice Miller

Information about the author Alice Miller will soon be added to the site.
Found 2 papers in total
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: