Software safety architecture that can be formally verified
Software-Sicherheitsarchitektur, die formal verifiziert werden kann.
AutoTechnology ; 4 , Februar
2004
3 pages
AutoTechnology;4(2004)Februar ;66-68
Aufsatz (Zeitschrift)
Englisch
A Formally Verified Fail-Operational Safety Concept for Automated Driving
SAE Technical Papers | 2022
|