On Improved Verification of Reconfigurable Real-Time Systems.

Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani

Browse the full ENASE paper archive.