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

MEMOCODE’s objective is to bring together researchers and industry practitioners interested in all aspects of computer system development, to exchange ideas, research results and lessons learned. MEMOCODE seeks research contributions on all aspects of methods and models for system, hardware, and software design and development: formal foundations, engineering methods, tools, and experimental case studies.