Yousra Hafidi, Laïd Kahloul, Mohamed Khalgui, Mohamed Ramdani. On Improved Verification of Reconfigurable Real-Time Systems. In Ernesto Damiani, George Spanoudakis, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, Heraklion, Crete, Greece, May 4-5, 2019. pages 394-401, SciTePress, 2019. [doi]
Abstract is missing.