Logo des Repositoriums

Auflistung nach Schlagwort "safe state"

1 - 1 von 1
  • Konferenzbeitrag
    Risk Mitigation Strategies in High Automation
    (Software Engineering and Software Management 2019, 2019) Gleirscher, Mario
    The work underlying this presentation is titled “From Hazard Analysis to Hazard Mitigation Planning: The Automated Driving Case,” accepted as a peer-reviewed full technical paper at the “NASA Formal Methods Symposium (NFM 2017),” published in April 2017.