Chams Eddine Choucha, Mohamed Ramdani, Mohamed Khalgui, Laïd Kahloul. On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment. In Marten van Sinderen, Leszek A. Maciaszek, Hans-Georg Fill, editors, Software Technologies - 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers. Volume 1447 of Communications in Computer and Information Science, pages 114-133, Springer, 2020. [doi]
Abstract is missing.