Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&d Workshop, Bangalore, India, January 2007

Author:   S Ramesh ,  P Sampath
Publisher:   Springer
ISBN:  

9786611045425


Pages:   304
Publication Date:   01 January 2007
Format:   Electronic book text
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Our Price $924.00 Quantity:  
Add to Cart

Share |

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&d Workshop, Bangalore, India, January 2007


Add your own review!

Overview

This volume is the proceedings of the workshop a oeNext Generation Design and Verification Methodologies for Distributed Embedded Control Systemsa organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:

  • Formal specification and verification of distributed, heterogeneous, embedded systems
  • Formal semantics of modeling languages
  • Model-based specification and testing
  • Formal approach to component based development
  • Software product line engineering
  • Automatic code generation for distributed, embedded systems.

Full Product Details

Author:   S Ramesh ,  P Sampath
Publisher:   Springer
Imprint:   Springer
ISBN:  

9786611045425


ISBN 10:   6611045422
Pages:   304
Publication Date:   01 January 2007
Audience:   General/trade ,  General
Format:   Electronic book text
Publisher's Status:   Active
Availability:   Out of stock   Availability explained
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

lgn

al

Shopping Cart
Your cart is empty
Shopping cart
Mailing List