Buscar

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

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

Autoría

FERNANDO HERRERA CASANUEVA