Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel. Towards a verification approach for reconfigurable embedded systems. In 2012 IEEE Symposium on Computers and Communications, ISCC 2012, Cappadocia, Turkey, July 1-4, 2012. pages 750-752, IEEE, 2012. [doi]
Abstract is missing.