io-port.net

first | previous | 1 | next | last

Result 1 to 3 of 3 total

io-port 05781734 Cansell, Dominique; Méry, Dominique; Proch, Cyril

System-on-chip design by proof-based refinement. (English)

Int. J. Softw. Tools Technol. Transf. 11, No. 3, 217-238 (2009).

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70525796 Cansell, Dominique; Culat, J. -F.; Méry, Dominique; Proch, Cyril

Derivation of systemc code from abstract system models (English)

FDL, 612-624 (2004).

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70525774 Cansell, Dominique; Méry, Dominique; Proch, Cyril

Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement (English)

FDL, 435-447 (2003).

PDF XML AMS-TeX TEXT BIBTeX URL

first | previous | 1 | next | last

Result 1 to 3 of 3 total