[IEEE Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - San Diego, CA, USA (June 23-25, 2004)] Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - Message from the chairs
Shukla, A.; Shukla, S.; Heitmeyer, C.; Talpin, J.
- 作者Shukla, A.; Shukla, S.; Heitmeyer, C.; Talpin, J.
- 文件大小179.62KB
- 发表时间2004
- DOI10.1109/memcod.2004.1459799