R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable Systems.

Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui, Yousra Hafidi

Browse the full ENASE paper archive.