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

Verification

by: S. Ramesh · P. Sampath

Hardcover

ISBN: 978-1-4020-6253-7

ISBN-10: 1-4020-6253-2

Springer · 2007