Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    PICASSOS — Practical Applications of Automated Formal Methods to Safety Related Automotive Systems


    Contributors:

    Conference:

    WCXtm17: SAE World Congress Experience



    Publication date :

    2017-01-01


    Size :

    ALL-ALL



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English



    PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

    Powell, Antony / Chakrapani Rao, Arun / Farooq, Asif et al. | SAE Technical Papers | 2017


    Formal methods in automotive applications

    Tran,S.C. / Marks,K.T. / Cullyer,J.C. et al. | Automotive engineering | 1990


    Picassos Guernica unter der Sounddusche - die "akustische Emotionalisierung" der Kunst

    Martin, Noemi / Liebl, Andreas / Zaglauer, Maria | TIBKAT | 2017

    Free access

    Using formal methods in designing embedded systems for automotive applications

    Damm, W. / Eckrich, M. / Brockmeyer, U. et al. | British Library Conference Proceedings | 1997


    Formal Certification Methods for Automated Vehicle Safety Assessment

    Zhao, Tong / Yurtsever, Ekim / Paulson, Joel A. et al. | IEEE | 2023