Semantics-Preserving Design of Embedded Control Software from Synchronous Models

Leonardo Mangeruca, Massimo Baleani, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli. Semantics-Preserving Design of Embedded Control Software from Synchronous Models. IEEE Trans. Software Eng., 33(8):497-509, 2007. [doi]

Authors

Leonardo Mangeruca

This author has not been identified. Look up 'Leonardo Mangeruca' in Google

Massimo Baleani

This author has not been identified. Look up 'Massimo Baleani' in Google

Alberto Ferrari

This author has not been identified. Look up 'Alberto Ferrari' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google