S. Ramesh & P. Sampath 
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [PDF ebook] 
Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Support

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 of its kind to be organised by an automotive Original Equipment Manufacturer (OEM) to bring together the experts in the ?eld of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing th...

read more
€149.79
payment methods

Table of Content

An Abstraction Technique for Real-Time Verification.- SCADE: Synchronous Design and Validation of Embedded Control Software.- Model-Based Development of Embedded Sy...

read more

About the author

Dr. Ramesh is the Chiarman of the ‘Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems’, 5 – 6 Jan. 2007 in NIAS Auditori...

read more
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● Pages 300 ● ISBN 9781402062544 ● File size 4.7 MB ● Age 02-99 years ● Editor S. Ramesh & P. Sampath ● Publisher Springer Netherland ● City Dordrecht ● Country NL ● Published 2007 ● Downloadable 24 months ● Currency EUR ● ID 2148321 ● Copy protection Social DRM

More ebooks from the same author(s) / Editor

19,094 Ebooks in this category