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-Verlag New York Inc.
SKU: 01417350
Price: 179.92 EUR
Availability: InStock
Author: S. Ramesh
ISBN: 9781402062537

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

S. Ramesh

P. Sampath

Language

English

Book Hardback

Libristo code: 01417350

Publishers Springer-Verlag New York Inc., August 2007

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

Libristo code: 01417350

438 b

179.92 €

In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Senza paura. Reckless. Limited edition Elsie Silver

Paperback

16.79 €

Rudolf Steiner Gaillard

Paperback

20.61 €

Considerations sur les moeurs de ce siecle. 6e edition Charles Duclos

Paperback

29.06 €

André Kertész Seclier

Paperback

15.88 €

Batman Návrat temného rytíře Frank Miller

Hardback

20.91 €

V džungli Bav se a dotkni se Wojciech Stachyra

Board book

9.65 €

Akademia Crookhaven. Szkoła oszustów. Tom 1 J. J. Arcanjo

Paperback

8.24 €

Perspectivas sociales y conocimiento Miguel Beltrán Villalva

Paperback

21.11 €

Die biologischen Aktivitäten des Hautschleims von Monopterus albus in-vitro Syed Mahmood

Paperback

35.39 €

Posca akrylový popisovač 2,5 mm smaragdový Posca

Stationery items

3.31 €

Ente Kavithakal Dr Bala Krishnan K G

Paperback

16.59 €

El Extranjero (Spanish Edition) Albert Camus

Paperback

10.75 €

Albert Einstein 1 Marián Olejár

Paperback

2.91 €

Nebožtík Ondřej Horák

Hardback

6.43 €

Machiavelli und die Mechanik der Macht Hejar Atalan

Paperback

16.09 €

Tourisme Et Collectivite Territoriale Ido-B

Paperback

31.97 €

Blue Spring Ride. Bd.11 Io Sakisaka

Paperback

8.94 €

Plan de Seguridad Informatica para Entidades Financieras Edith Cordova Rodriguez

Paperback

208.38 €

C# Golo Roden

Book

42.33 €

S Blbounem za velkým dobrodružstvím Renata Petříčková

Audio CD

5.42 €

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.