Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    FORMALISATION AND ALGORITHMIC APPROACH TO THE AUTOMATED DRIVING VALIDATION PROBLEM


    Beteiligte:
    Stellet, Jan Erik (Autor:in) / Brade, Tino (Autor:in) / Poddey, Alexander (Autor:in) / Jesenski, Stefan (Autor:in) / Branz, Wolfgang (Autor:in)

    Kongress:

    IEEE intelligent vehicles symposium



    Erscheinungsdatum :

    01.01.2019


    Format / Umfang :

    7 pages


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    Formalisation and algorithmic approach to the automated driving validation problem

    Stellet, Jan Erik / Brade, Tino / Poddey, Alexander et al. | IEEE | 2019


    Formalisation of the multigrid computations

    Martynenko, Sergey | British Library Online Contents | 2013


    Aspects of formalisation in requirements engineering

    Schulz, Hans-Martin | Tema Archiv | 2007


    Formalisation of the multigrid computations

    Martynenko, S. | British Library Online Contents | 2013


    Systematic Validation for Automated Driving

    Ebert, Christof / Weyrich, Michael / Lindemann, Benjamin | Springer Verlag | 2021