A formal support for homogeneous simulation of heterogeneous embedded systems

Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli, Francesco Stefanni, Sara Vinco. A formal support for homogeneous simulation of heterogeneous embedded systems. In 7th IEEE International Symposium on Industrial Embedded Systems, SIES 2012, Karlsruhe, Germany, June 20-22, 2012. pages 211-219, IEEE, 2012. [doi]

Abstract

Abstract is missing.