P. Koumou

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

H. N. Nguyen, P. Koumou, Bernard Candaele, Michel Sarlotte, Christian Antoine, S. Emeriau
Verification of a DSP IP cores by model checking. HLDVT (2002)