Design and Formal Verification of Membership Middleware for Dependable Automotive Network Systems
Internationaler Kongress; 14, Elektronik im Kraftfahrzeug ; 2009 ; Baden-Baden, Germany
2009-01-01
12 pages
Includes bibliographical references. Text in German or English.
Conference paper
German
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Dependable and cost-effective architecture for systems with membership middleware
Tema Archive | 2008
|Membership middleware for dependable and cost effective x-by-wire systems
Automotive engineering | 2008
|Membership Middleware for Dependable and Cost-Effective X-by-Wire Systems
British Library Conference Proceedings | 2008
|Membership Middleware for Dependable and Cost-Effective X-by-Wire Systems
SAE Technical Papers | 2008
|