Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety verification of automated driving systems




    Erscheinungsdatum :

    2013



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt



    Klassifikation :

    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. | Kraftfahrwesen | 2009


    Safety argumentation for automated driving systems

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

    Freier Zugriff