Automatic Properties Classification Approach for Guiding the Verification of Complex Reconfigurable Systems.

Mohamed Ramdani, Laid Kahloul, Mohamed Khalgui

Browse the full ICSoft paper archive.