Houimli, Manel (2025) Formal Modeling and Verification of Reconfigurable Systems. Doctoral thesis, Université Mohamed Khider (Biskra - Algérie).