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

 Publisher: Institute of Electrical and Electronics Engineers, Inc.

 Year of publication: 2014

 No. of pages: 4

 Pages: 194 a 197

 Publication type: Conference object

 DOI: 10.1109/MEMCOD.2014.6961860

 ISBN: 978-1-4799-5338-7

 Spanish project: TEC2011-28666-C04-02

 Publication Url: https://doi.org/10.1109/MEMCOD.2014.6961860