published in First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. Journal
presented at event 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003) Conference
keywords Computer Science Computer Science, Hardware & Architecture Computer Science, Software Engineering Science & Technology Technology