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]
@inproceedings{ChouchaRKK20a,
title = {On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment},
author = {Chams Eddine Choucha and Mohamed Ramdani and Mohamed Khalgui and Laïd Kahloul},
year = {2020},
doi = {10.1007/978-3-030-83007-6_6},
url = {https://doi.org/10.1007/978-3-030-83007-6_6},
researchr = {https://researchr.org/publication/ChouchaRKK20a},
cites = {0},
citedby = {0},
pages = {114-133},
booktitle = {Software Technologies - 15th International Conference, ICSOFT 2020, Online Event, July 7-9, 2020, Revised Selected Papers},
editor = {Marten van Sinderen and Leszek A. Maciaszek and Hans-Georg Fill},
volume = {1447},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-83007-6},
}