Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    A verified and efficient approach towards fatigue validation of safety parts


    Weitere Titelangaben:

    Abgesicherter und effizienter Nachweis sicherheitsrelevanter Bauteile.



    Erschienen in:

    Erscheinungsdatum :

    2011


    Format / Umfang :

    5 pages


    Anmerkungen:

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


    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch



    A verified and efficient approach towards fatigue validation of safety parts

    Weihe, Stefan / Weigel, Nicolas / Dreßler, Klaus et al. | Tema Archiv | 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 | Kraftfahrwesen | 2004


    Fatigue life validation of safety components

    Fischer,G. / Wessling,U. / Grubisic,V. et al. | Kraftfahrwesen | 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