Web Map
![](../images/raya.gif)
Location
![](../images/raya.gif)
News
![](../images/raya.gif)
Santander Info
![](../images/raya.gif)
|
GIM>Research>Publications |
PUBLICATIONS pertaining to the research line: "Verification of Embedded Systems..." ordered by date |
|
2017 |
![International Paper](../images/revista.gif) |
P. González, P. Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03 |
![To see full record](../images/ficha.gif) |
|
|
2010 |
![Report, Study or Opinion by order](../images/informe.gif) |
Carlo Brandolese (PoliMi), Gianluca Palermo (PoliMi), William Fornaciari (PoliMi), F. Herrera, E. Villar, Francisco Ferrero (GMV), Raúl Valencia (GMV), Bart Vanthournout (Synopsys)
"Preliminary report on Embedded Software Estimation and Model Generation
"
Deliverable D2.2.1 of the COMPLEX project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
![Report, Study or Opinion by order](../images/informe.gif) |
Kai Hylla (OFFIS), Saif A. Butt (CV), F. Herrera, S. Real, P. González, P. Sánchez
"Preliminary report on Custom Hardware Estimation and Model Generation
"
Deliverable D2.4.1 of the COMPLEX project. 2010-12 |
![To see full record](../images/ficha.gif) |
|
|
|
|