Synthesis of Embedded Software : Frameworks and Methodologies for Correctness by Construction /
Autor Corporativo: | SpringerLink (Online service) |
---|---|
Otros Autores: | Shukla, Sandeep Kumar. (Editor ), Talpin, Jean-Pierre. (Editor ) |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2010.
|
Edición: | 1st ed. 2010. |
Materias: |
Ejemplares similares
-
Adaptable Embedded Systems /
Publicado: (2013) -
Integrated Optical Interconnect Architectures for Embedded Systems /
Publicado: (2013) -
Designing Embedded Systems with the SIGNAL Programming Language : Synchronous, Reactive Specification /
por: Gamatié, Abdoulaye.
Publicado: (2010) -
Low Power Hardware Synthesis from Concurrent Action-Oriented Specifications /
por: Singh, Gaurav., et al.
Publicado: (2010) -
Software Automatic Tuning : From Concepts to State-of-the-Art Results /
Publicado: (2010)