Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety verification of automated driving systems




    Publication date :

    2013



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    Unknown



    Classification :

    BKL:    55.84 Straßenverkehr / 55.24 / 55.84 / 55.24 Fahrzeugführung, Fahrtechnik



    Formal Verification of Safety Architectures for Automated Driving

    Eberhart, Clovis / Dubut, Jeremy / Haydon, James et al. | IEEE | 2023


    Formal Verification of Intersection Safety for Automated Driving

    Haydon, James / Bondu, Martin / Eberhart, Clovis et al. | IEEE | 2023


    Testing and verification of active safety systems with coordinated automated driving

    Schoener,H.P. / Neads,S. / Schretter,N. et al. | Automotive engineering | 2009


    Safety argumentation for automated driving systems

    Dr. Helmle, Michael / Sautter, P. / Hauler, F. et al. | Springer Verlag | 2016

    Free access