New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.

Yousra Hafidi, Laid Kahloul, Mohamed Khalgui, Mohamed Ramdani

Browse the full ENASE paper archive.