Design and Formal Verification of Membership Middleware for Dependable Automotive Network Systems
Internationaler Kongress; 14, Elektronik im Kraftfahrzeug ; 2009 ; Baden-Baden, Germany
01.01.2009
12 pages
Includes bibliographical references. Text in German or English.
Aufsatz (Konferenz)
Deutsch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Dependable and cost-effective architecture for systems with membership middleware
Tema Archiv | 2008
|Membership middleware for dependable and cost effective x-by-wire systems
Kraftfahrwesen | 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
|