Design-Time Verification of Reconfigurable Real-time Embedded Systems.

Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel

Browse the full HPCC paper archive.