Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness


    Beteiligte:

    Kongress:

    WORLD CONGRESS, Society of Automotive Engineers ; 2008 ; Detroit, MI



    Erscheinungsdatum :

    01.01.2008


    Format / Umfang :

    2008-01-0119-2008-01-0121


    Anmerkungen:

    SAE 2008-01-0001 - 2008-01-0146 held with gaps



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness

    Mjeda, Anila / McElligott, Pat / Thiel, Steffen | SAE Technical Papers | 2008



    2008-01-0119 Can Formal Methods Make Automotive Business Sense? A Classification of Formal Methods by Usefulness

    McElligott, P. / Mjeda, A. / Thiel, S. | British Library Conference Proceedings | 2008


    Formal methods in automotive applications

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


    Integrated formal methods

    Galloway, A. / Stoddart, B. / Informatiques des organisations et systemes d'information et de decision | British Library Conference Proceedings | 1997