Mohamed Ramdani, Laïd Kahloul, Mohamed Khalgui, Yousra Hafidi. R-TNCES Rebuilding: A New Method of CTL Model Update for Reconfigurable 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 159-168, SciTePress, 2019. [doi]
Abstract is missing.