Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Design and Formal Verification of Membership Middleware for Dependable Automotive Network Systems



    Conference:

    Internationaler Kongress; 14, Elektronik im Kraftfahrzeug ; 2009 ; Baden-Baden, Germany


    Published in:

    Publication date :

    2009-01-01


    Size :

    12 pages


    Remarks:

    Includes bibliographical references. Text in German or English.




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Design and formal verification of membership middleware for dependable automotive network systems

    Sakurai, Kohei / Serafini, Marco / Bokor, Peter et al. | Tema Archive | 2009


    Dependable and cost-effective architecture for systems with membership middleware

    Sakurai, Kohci / Matsubara, Masahiro / Scrafini, Marco et al. | Tema Archive | 2008


    Membership middleware for dependable and cost effective x-by-wire systems

    Sakurai,K. / Matsubara,M. / Hoshino,M. et al. | Automotive engineering | 2008


    Membership Middleware for Dependable and Cost-Effective X-by-Wire Systems

    Sakurai, Kohei / Matsubara, Masahiro / Hoshino, Masatoshi | SAE Technical Papers | 2008


    Membership Middleware for Dependable and Cost-Effective X-by-Wire Systems

    Sakurai, K. / Matsubara, M. / Hoshino, M. et al. | British Library Conference Proceedings | 2008