TY - DATA AU - Ramesh,S. AU - Sampath,Prahladavaradan ED - SpringerLink (Online service) TI - Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 SN - 9781402062544 AV - TK7895.E42 R36 2007 PY - 2007/// CY - Dordrecht PB - Springer Science+Business Media B.V. KW - Engineering KW - Software engineering KW - Computer science KW - Computer simulation KW - Systems engineering KW - Circuits and Systems KW - Software Engineering KW - Simulation and Modeling KW - Math Applications in Computer Science UR - http://dx.doi.org/10.1007/978-1-4020-6254-4 ER -