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

Supporto

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...

leggi di più
€149.79
Modalità di pagamento

Tabella dei contenuti

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

leggi di più

Circa l’autore

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

leggi di più
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato PDF ● Pagine 300 ● ISBN 9781402062544 ● Dimensione 4.7 MB ● Editore S. Ramesh & P. Sampath ● Casa editrice Springer Netherland ● Città Dordrecht ● Paese NL ● Pubblicato 2007 ● Scaricabile 24 mesi ● Moneta EUR ● ID 2148321 ● Protezione dalla copia DRM sociale

Altri ebook dello stesso autore / Editore

18.868 Ebook in questa categoria