Definitions of Equivalence for Transformational Synthesis of Embedded Systems.

Luis Alejandro Corts, Petru Eles, Zebo Peng

Browse the full ICECCS paper archive.