Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 / [electronic resource] :
edited by S. Ramesh, Prahladavaradan Sampath.
- 1a ed.
- Dordrecht : Springer Science+Business Media B.V., 2007.
- v.: digital
9781402062544
Engineering Software engineering Computer science Computer simulation Systems engineering Engineering Circuits and Systems Software Engineering Simulation and Modeling Math Applications in Computer Science