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