Contract-Based Coordination of Hardware Components for the Development of Embedded Software.

Tayeb Bouhadiba, Florence Maraninchi

Browse the full Coordination paper archive.