3577 | DTVCS 2008 : Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems | ||
---|---|---|---|
¸¶°¨ÀÏÀÚ | 2008/04/01 | ±¹³»/±¹¿Ü | |
ȨÆäÀÌÁö | http://digilander.libero.it/systemcfl/dtvcs/ | Àå ¼Ò | |
DTVCS 2008 : Design, Testing and Formal Verification Techniques for Integrated Circuits and Systems August 18-20, 2008 Hawaii, USA Important Dates: - Submissions due April 1, 2008 |
Copyright(c) Computer Science Engineering Research Information Center. All rights reserved.