Tayeb Bouhadiba

	2009
3		Tayeb Bouhadiba, Florence Maraninchi: Contract-Based Coordination of Hardware Components for the Development of Embedded Software. COORDINATION 2009: 204-224
2		Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal: Formal and executable contracts for transaction-level modeling in SystemC. EMSOFT 2009: 97-106
	2007
1		Florence Maraninchi, Tayeb Bouhadiba: 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. GPCE 2007: 53-62

Coauthor Index

1	Giovanni Funchal	[2]
2	Florence Maraninchi	[1] [2] [3]