Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal. Formal and executable contracts for transaction-level modeling in SystemC. In Samarjit Chakraborty, Nicolas Halbwachs, editors, Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. pages 97-106, ACM, 2009. [doi]
Abstract is missing.