ACM-IEEE International Conference on Formal Methods and Models for Codesign.

The goal of MEMOCODE’07, the fifth in a series of successful international conferences, is to gather together researchers and practitioners in the field of the design of modern hardware and software systems to explore ways in which future design methods can benefit from new results on formal methods.

Access it online!

Réalisation Axome - Création de sites Internet