Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laïd Kahloul. Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL. In Marten van Sinderen, Hans-Georg Fill, Leszek A. Maciaszek, editors, Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020. pages 250-259, ScitePress, 2020. [doi]
Abstract is missing.