Serge Weber

Documents

Identifiants chercheurs

Présentation

dominiquemery

	Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement Dominique Cansell , Camel Tanougast , Yves Berviller , Dominique Méry , Cyril Proch Forum on specification and Design Languages - FDL'03, 2003, Frankfurt, Germany, France. 12 p Communication dans un congrès inria-00099834v1