Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    A verified and efficient approach towards fatigue validation of safety parts


    Additional title:

    Abgesicherter und effizienter Nachweis sicherheitsrelevanter Bauteile.



    Published in:

    Publication date :

    2011


    Size :

    5 pages


    Remarks:

    MP Materials Testing;53(2011)7/8 ;450-454


    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English



    A verified and efficient approach towards fatigue validation of safety parts

    Weihe, Stefan / Weigel, Nicolas / Dreßler, Klaus et al. | Tema Archive | 2011


    Towards Composition of Verified Hardware Devices

    E. T. Schubert / K. Levitt / G. C. Cohen | NTIS | 1991


    Software safety architecture that can be formally verified

    Cossy,M. / STZ Softwaretechnik,DE | Automotive engineering | 2004


    Fatigue life validation of safety components

    Fischer,G. / Wessling,U. / Grubisic,V. et al. | Automotive engineering | 2001


    A Formally Verified Fail-Operational Safety Concept for Automated Driving

    Terechko, Andrei / Saberi, Arash Khabbaz / Groote, Jan Friso et al. | SAE Technical Papers | 2022