4352 | MEMOCODE 2007 : 5th ACM/IEEE Conference on Formal Methods and Programming Models for Codesign | ||
---|---|---|---|
°³ÃÖÀÏÀÚ | 2007/05/30-06/01 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://memocode.irisa.fr/ | Àå ¼Ò | |
MEMOCODE 2007 : 5th ACM/IEEE Conference on Formal Methods and Programming Models for Codesign May 30 - June 1, 2007 Nice, France |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.