Towards a verification approach for reconfigurable embedded systems.

Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel

Browse the full ISCC paper archive.