Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Botham, John (Autor:in) / Dhadyalla, Gunwant (Autor:in) / Powell, Antony (Autor:in) / Miller, Peter (Autor:in) / Haas, Olivier (Autor:in) / McGeoch, David (Autor:in) / Rao, Arun Chakrapani (Autor:in) / O Halloran, Colin (Autor:in) / Kiec, Jaroslaw (Autor:in) / Farooq, Asif (Autor:in)

    Kongress:

    WCXtm17: SAE World Congress Experience



    Erscheinungsdatum :

    2017-01-01


    Format / Umfang :

    ALL-ALL



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch



    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


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

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


    Formal methods in automotive applications

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


    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