Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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



    Kongress:

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


    Erschienen in:

    Erscheinungsdatum :

    2009-01-01


    Format / Umfang :

    12 pages


    Anmerkungen:

    Includes bibliographical references. Text in German or English.




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




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

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


    Dependable and cost-effective architecture for systems with membership middleware

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


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

    Sakurai,K. / Matsubara,M. / Hoshino,M. et al. | Kraftfahrwesen | 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