S. Emeriau

Publication Activity (10 Years)

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

Publications

D. Hairion, S. Emeriau, E. Combot, Michel Sarlotte
New safety critical radio altimeter for airbus and related design flow. DATE (2007)
H. N. Nguyen, P. Koumou, Bernard Candaele, Michel Sarlotte, Christian Antoine, S. Emeriau
Verification of a DSP IP cores by model checking. HLDVT (2002)