Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    FORMALISATION AND ALGORITHMIC APPROACH TO THE AUTOMATED DRIVING VALIDATION PROBLEM


    Contributors:

    Conference:

    IEEE intelligent vehicles symposium



    Publication date :

    2019-01-01


    Size :

    7 pages


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    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 Archive | 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