Tayeb Bouhadiba, Florence Maraninchi. Contract-Based Coordination of Hardware Components for the Development of Embedded Software. In John Field, Vasco Thudichum Vasconcelos, editors, Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Volume 5521 of Lecture Notes in Computer Science, pages 204-224, Springer, 2009. [doi]
Abstract is missing.