Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

This volume brings out the proceedings of the workshop Next Generation Design and Veri?cation Methodologies for Distributed Embedded Control Systems c- ducted by General Motors R&D, India Science Lab, Bangalore. This workshop is the ?rst o...