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