Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Computational verification methods for automotive safety systems


    Contributors:


    Publication date :

    2014


    Size :

    X, 203 S.


    Remarks:

    Ill., graph. Darst.
    Enth. außerdem 6 Papers



    Type of media :

    Theses


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    50.03 Methoden und Techniken der Ingenieurwissenschaften / 55.20 Straßenfahrzeugtechnik





    Automotive Safety Systems

    Hamsini, S. / Kathiresh, M. | Springer Verlag | 2021


    Virtual verification of automotive steering systems

    Klomp, Matthijs / Ljungberg, M. / Salif, R. et al. | Springer Verlag | 2017


    System Level Modeling, Simulation and Verification Workflow for Safety-Critical Automotive Embedded Systems

    Karner, M. / Krammer, M. / Fuchs, A. et al. | British Library Conference Proceedings | 2014