A verified and efficient approach towards fatigue validation of safety parts
Abgesicherter und effizienter Nachweis sicherheitsrelevanter Bauteile.
MP Materials Testing ; 53 , 7/8
2011
5 pages
MP Materials Testing;53(2011)7/8 ;450-454
Article (Journal)
English
A verified and efficient approach towards fatigue validation of safety parts
Tema Archive | 2011
|Towards Composition of Verified Hardware Devices
NTIS | 1991
|Software safety architecture that can be formally verified
Automotive engineering | 2004
|Fatigue life validation of safety components
Automotive engineering | 2001
|A Formally Verified Fail-Operational Safety Concept for Automated Driving
SAE Technical Papers | 2022
|