Context of Proceedings, First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'03, 24-26 June 2003, Mont Saint-Michel, France ; sponsored by IEEE Computer Society Design Automation Technical Committee (DATC), IEEE Circuits and Systems Society, ACM Special Interest Group on Design Automation, in cooperation with INRIA


Processing Feedback ...