Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Additional title:

    Machen formale Methoden im Automotive Business Sinn? Eine Klassifizierung von formalen Methoden nach ihrer Nuetzlichkeit.


    Contributors:

    Publication date :

    2008


    Size :

    10 pages


    Remarks:

    SAE-Paper;2008-01-0119;2008;Safety-Critical Systems;SAE Spec.Publ.; SP-2173


    Type of media :

    Miscellaneous


    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


    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. | Automotive engineering | 1990


    Using formal methods in designing embedded systems for automotive applications

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