Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    McElligott, P. (author) / Mjeda, A. (author) / Thiel, S. (author)

    Conference:

    SESSION, Safety-critical systems ; 2008 ; Detroit, Mich


    Published in:

    SAE SP ; 2173


    Publication date :

    2008-01-01


    Size :

    10 pages


    Remarks:

    Held during the SAE 2008 world congress



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




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

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


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

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


    Can formal methods make automotive business sense? A classification of formal methods by usefulness

    McElligott,P. / Mjeda,A. / Thiel,S. et al. | Automotive engineering | 2008


    Formal methods in automotive applications

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


    Integrated formal methods

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