| emsoft | participants

Giovanni Funchal

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Formal and Executable Contracts for Transaction-Level Modeling in SystemC

Tayeb Bouhadiba, Florence Maraninchi, and Giovanni Funchal