Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007 /
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,...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | SpringerLink (Online service) |
Otros Autores: | Ramesh, S. (Editor ), Sampath, P. (Editor ) |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2007.
|
Edición: | 1st ed. 2007. |
Temas: | |
Acceso en línea: | Texto Completo |
Ejemplares similares
-
Distributed, Embedded and Real-time Java Systems
Publicado: (2012) -
Embedded System Design Modeling, Synthesis and Verification /
por: Gajski, Daniel D., et al.
Publicado: (2009) -
Embedded Systems Specification and Design Languages Selected Contributions from FDL'07 /
Publicado: (2008) -
Open Verification Methodology Cookbook
por: Glasser, Mark
Publicado: (2009) -
Fine- and Coarse-Grain Reconfigurable Computing
Publicado: (2007)