Buscar

Estamos realizando la búsqueda. Por favor, espere...

 Detalle_Publicacion

Formal support for untimed SystemC specifications: application to high-level synthesis

Otras comunicaciones del congreso o articulos relacionados con autores/as de la Universidad de Cantabria

 Congreso: Proceedings of the Forum on Specification & Design Languages (FDL): September 14 th-16th, 2010, Southampton, UK Southampton

Editorial: Institution of Engineering and Technology

 Año de publicación: 2010

Nº de páginas: 6

Páginas: 74 a 79

Tipo de publicación: Comunicación a Congreso

 DOI: 10.1049/ic.2010.0132

ISBN: 978-2-95305-043-1

Proyecto europeo: info:eu-repo/grantAgreement/EC/FP7/216807/EU/SysML based modelling, architecture exploration, simulation and synthesis for complex embedded systems/SATURN/

Url de la publicación: https://doi.org/10.1049/ic.2010.0132

Autores/as

FERNANDO HERRERA CASANUEVA