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