Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL.

Sohaib Soualah, Yousra Hafidi, Mohamed Khalgui, Allaoua Chaoui, Laid Kahloul

Browse the full ICSoft paper archive.