Supporting Automated Verification of Reconfigurable Systems with Product Lines and Model Checking.

Faiz Ul Muram, Samina Kanwal, Muhammad Atif Javed

Browse the full ENASE paper archive.