Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. - 最新文献
Pub Date : 2004-06-23
DOI: 10.1109/MEMCOD.2004.1459815
C. Baier, Frank Ciesinski, Marcus Größer
Pub Date : 2004-06-23
DOI: 10.1109/MEMCOD.2004.1459842
C. Pixley, D. Meyers, S. McMaster, A. Chittor
Pub Date : 2004-06-23
DOI: 10.1109/MEMCOD.2004.1459858
Y. A. Ameur, R. Delmas, V. Wiels
查看全部