Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems



    Conference:

    2nd, Automotive software workshop; Model-driven development of reliable automotive services, ASWSD 2006 ; 2006 ; San Diego, CA



    Publication date :

    2008-01-01


    Size :

    15 pages


    Remarks:

    Based on those presented at the conference. Includes bibliographical references and author index. Also issued online.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English






    Software for Automotive Systems: Model-Integrated Computing

    Neema, Sandeep / Karsai, Gabor | Springer Verlag | 2006


    Software for Automotive Systems: Model-Integrated Computing

    Neema, S. / Karsai, G. | British Library Conference Proceedings | 2006


    Hierarchical BIT: reusable BIT software for integrated systems

    Daniel, W. / Sallade, R. | Tema Archive | 1990