2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign

MEMOCODE’14 seeks research contributions addressing all aspects of methods and models for hardware and embedded software design. We are interested in formal foundations, informal engineering methodologies with sound basis, model driven approaches, design tools, design case studies, and industry-scale experimental case-studies.