Title :
Formal Methods and Models for Co-Design
Abstract :
Presents the front cover or splash screen of the proceedings.
Conference_Titel :
Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on
Conference_Location :
San Diego, CA, USA
Print_ISBN :
0-7803-8509-8
DOI :
10.1109/MEMCOD.2004.1459795
