|
Books > Computing & IT > General theory of computing
|
Buy Now
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems - Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 (Hardcover, 2007 ed.)
Loot Price: R4,329
Discovery Miles 43 290
You Save: R1,413
(25%)
|
|
|
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems - Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 (Hardcover, 2007 ed.)
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
(3)
