Cyril Proch

	2009
3		Dominique Cansell, Dominique Méry, Cyril Proch: System-on-chip design by proof-based refinement. STTT 11(3): 217-238 (2009)
	2004
2		Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch: Derivation of SystemC code from abstract system models. FDL 2004: 612-624
	2003
1		Dominique Cansell, Dominique Méry, Cyril Proch: Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL 2003: 435-447

Coauthor Index

1	Dominique Cansell	[1] [2] [3]
2	J.-F. Culat	[2]
3	Dominique Méry	[1] [2] [3]