Stock photo: cover may vary
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems.: Proceedings of the GM R&D Workshop, Bangalore, India, Jan. 2007. Hardback - 2007
by Ramesh, S.; P. Sampath (Eds.)
- Used
- Hardback
NZ$81.47
NZ$40.74
Delivery to USA
Standard delivery: 7 to 21 days
More delivery options
Standard delivery: 7 to 21 days
Ships from Lange & Springer Antiquariat (Germany)
Details
- Title Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems.
- Author Ramesh, S.; P. Sampath (Eds.)
- Binding Hardback
- Edition 1st
- Pages XXIII, 300 p
- Volumes 1
- Language ENG
- Publisher Springer
- Publication date 2007
- Illustrated Yes
- Features Illustrated, Table of Contents
- Bookseller's Inventory # 2911GB
- ISBN 9781402062537 / 1402062532
- Weight 1.4 lbs (0.64 kg)
- Dimensions 9.21 x 6.14 x 0.75 in (23.39 x 15.60 x 1.91 cm)
- Category Technology & Industrial Arts
- Library of Congress subjects Automatic control, Embedded computer systems
- Dewey Decimal Code 629.89
About Lange & Springer Antiquariat Germany
Specialising in: Astrology, Chemistry, Engineering, Humanities, Mathematics, Medicine, Natural Science, Old and rare scientific books
Biblio member since 2025
Lange & Springer Antiquariat (est. 1816) is a long-established scientific antiquarian bookstore based in Berlin. We specialize in rare and scholarly books spanning the sciences, medicine, mathematics, engineering, and the humanities — from historically significant early works to modern academic literature. Our curated selection includes antiquarian treasures as well as contemporary academic titles for researchers, collectors, and institutions worldwide.
Reader reviews for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems.
Write a review for this book
Important Terms and Guidelines
- Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
- Reviews must be at least 140 characters in length.
- Please do not reveal critical plot elements.
- This is not a help line. Contact customer support if you need help.
Your review must not include:
- Obscenities, discriminatory language, or other insulting language not suitable for public domain
- Advertisements, “spam” content, or references to other products, offers or websites.
- Email addresses, URLs, phone numbers, physical addresses or other contact information.
- Overly critical comments about other reviews or reviewers
- Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
- Availability, price, or alternative ordering/shipping information
From the publisher
From the rear cover
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.
