Congreso: 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014)

Editorial: Institute of Electrical and Electronics Engineers, Inc.

 Año de publicación: 2014

Nº de páginas: 4

Páginas: 194 a 197

Tipo de publicación: Comunicación a Congreso

 DOI: 10.1109/MEMCOD.2014.6961860

ISBN: 978-1-4799-5338-7

 Proyecto español: TEC2011-28666-C04-02

Url de la publicación: https://doi.org/10.1109/MEMCOD.2014.6961860