The Community for Technology Leaders
Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE '04 (2004)
San Diego, CA, USA
June 23, 2004 to June 25, 2004
ISBN: 0-7803-8509-8
TABLE OF CONTENTS
82 ms
(Ver 3.3 (11022016))