Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    SYNTHESIZING TRAFFIC SCENARIOS FROM FORMAL SPECIFICATIONS FOR TESTING AUTOMATED VEHICLES


    Beteiligte:

    Kongress:

    2020 IEEE inteligent vehicles symposium (IV 2020)



    Erscheinungsdatum :

    01.01.2020


    Format / Umfang :

    8 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    From formal specifications to efficient test scenarios generation

    Jing Yang / Ghazel, Mohamed / El-Koursi, El-Miloudi | IEEE | 2013


    Automated testing from specifications

    Srinivasan, J. / Leveson, N. | IEEE | 2002


    Energy Consumption of Automated and Non-Automated Vehicles in Various Traffic Scenarios

    Rehborn, Hubert / Koller, Micha / Dülgar, Yildrim et al. | TIBKAT | 2020