On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.

Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laid Kahloul

Browse the full ICSoft paper archive.