Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicaciones |
| PUBLICACIONES pertenecientes a la línea de investigación: "Verificación de sistemas embebidos..." ordenadas por fecha |
| |
| 2017 |
 |
Pablo González, Pablo Pedro Sánchez
"Towards a Verification Flow Across Abstraction Levels: Verifying Implementations Against Their Formal Specification"
TCAD. 2017-03 |
 |
|
|
| 2010 |
 |
Carlo Brandolese (PoliMi), Gianluca Palermo (PoliMi), William Fornaciari (PoliMi), Fernando Herrera, Eugenio 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 |
|
|
|
|
Kai Hylla (OFFIS), Saif A. Butt (CV), Fernando Herrera, Sara Real, Pablo González, Pablo Pedro Sánchez
"Preliminary report on Custom Hardware Estimation and Model Generation
"
Deliverable D2.4.1 of the COMPLEX project. 2010-12 |
|
|
|
|
|
