Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Books in English > Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components > Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems

Name: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems
Brand: Springer
SKU: 01975729
Price: 153.47 EUR
Availability: InStock
Author: S. Ramesh
ISBN: 9789048175833

Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

S. Ramesh

P. Sampath

Language

English

Book Paperback

Libristo code: 01975729

Publishers Springer, October 2010

This volume is the proceedings of the workshop Next Generation Design and Verification Methodologies... Full description

Libristo code: 01975729

373 b

153.47 €

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Psychodrama Peter Soppa

Paperback

51.59 €

Návrat Krále Šumavy Opona se zatahuje Vojtěch Mašek

Paperback

12.96 €

Těšit se je nejhezčí Petr Vrbacký

Paperback

4.01 €

I Primi Bolognesi Che Scrissero Rime Italiane (1875) Salvatore Muzzi

Paperback

20.21 €

Conni Gelbe Reihe (Beschäftigungsbuch): Herausgefunden! Labyrinthe-Rätsel-Spaß Ulrich Velte

Paperback

6.73 €

De Scholiis Ad Homerum Rhetoricis Georg Lehnert

Paperback

18.19 €

Schizophrenie Gudrun Sartory

Hardback

32.17 €

Las Meninas de Diego Velázquez: un exemple de pathosformel Norbert-Bertrand Barbe

Paperback

28.36 €

Technomusik, Festivals und die zugehoerigen Marken Paul Oczenaschek

Paperback

33.78 €

Messtechnische Untersuchungen UEber Die Eignung Eines Neuen Schnellverfahrens Zur Ermittlung Der Reisskraft Von Fortlaufend Bewegten Faden Bzw. Gespin Herbert Stein

Paperback

52.79 €

El carnaval de los ladrones Sonia Delmas

Paperback

14.78 €

Kantaten BWV 46 & 102/Lamentationes Ieremiae Proph Ponseele/Il Gardellino

Audio CD

23.93 €

Datenbanken Frank Geisler

Paperback

26.74 €

Bruno Groening - Das Lehrbuch Theo Von Hofstede

Paperback

25.84 €

Chronique Du Regne de Charles IX (Ed.1890) Prosper Merimee

Paperback

26.94 €

Designblok magazine 2015

Paperback

8.94 €

Berufsfeld Lager Ruth Albert

Paperback

13.47 €

This volume is the proceedings of the workshop Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems organised by General Motors R&D, India Science Lab. The workshop was held on January 5-6 2007 at the NIAS auditorium, IISc campus, Bangalore, India. This workshop is the first of its kind to be organised by an automotive major to bring together the leaders in the field of embedded systems development to present state-of-the-art work, and to discuss future strategies for addressing the increasing complexity of embedded control systems. The workshop consisted of invited talks given by leading experts and researchers from academic and industrial organizations. The workshop covered all areas of embedded systems development and in particular:§Formal specification and verification of distributed, heterogeneous, embedded systems§Formal semantics of modeling languages§Model-based specification and testing§Formal approach to component based development§Software product line engineering§Automatic code generation for distributed, embedded systems.