Konferenzbeitrag
Risk Mitigation Strategies in High Automation
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Datum
2019
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Software Engineering and Software Management 2019
Session 3: Programmanalyse und Verifikation I und Funktionale Sicherheit
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
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.