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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Ramesh, S. (Επιμελητής έκδοσης), Sampath, Prahladavaradan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2007.
• Θέματα: Engineering.; Software engineering.; Computers.; Computer science > Mathematics.; Computer simulation.; Electronic circuits.; Circuits and Systems.; Theory of Computation.; Software Engineering.; Simulation and Modeling.; Math Applications in Computer Science.

This volume is the proceedings of the workshop “Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems” 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. Thi...